. . . . "1"^^ . . "RIV/67985955:_____/13:00394194" . "Systems of axioms for elementary logic we can find in textbooks are usually not very transparent; and the reader might well wonder how did precisely such a set of axioms come into being. In this paper we present a way of constituing one such non-transparent set of axioms, namely the one presented by E. Mendelson in his Introduction to Mathematical Logic, in a transparent way, with the aim of helping the reader to get an insight into the workings of the axioms."@en . "Organon F" . "Supp.2" . "I, P(GA13-21076S)" . . . "Odkud se berou axiomy logiky?" . . "[00D20778C7E9]" . "20" . "Odkud se berou axiomy logiky?"@cs . . "Soustavy axiom\u016F element\u00E1rn\u00ED logiky, jak\u00E9 nach\u00E1z\u00EDme v u\u010Debnic\u00EDch, obvykle neb\u00FDvaj\u00ED p\u0159\u00EDli\u0161 pr\u016Fhledn\u00E9; a \u010Dtan\u00E1\u0159i m\u016F\u017Ee snadno za\u010D\u00EDt vrtat hlavou, jak pr\u00E1v\u011B takov\u00E1 sada axiom\u016F vznikla. V tomto \u010Dl\u00E1nku p\u0159edkl\u00E1d\u00E1me zp\u016Fsob, jak jednu takovou nepr\u016Fhlednou sadu axiom\u016F, konkr\u00E9tn\u011B sadu pou\u017E\u00EDvanou E. Mendelsonem v jeho \u00DAvodu do matematick\u00E9 logiky, sestavit pr\u016Fhledn\u00FDm zp\u016Fsobem, abychom \u010Dten\u00E1\u0159i pomohli z\u00EDskat vhled to doho, jak tyto axiomy funguj\u00ED." . . "Where do the Axioms of Logic Come from"@en . "axioms; logic; natural deduction; negation"@en . "Where do the Axioms of Logic Come from"@en . "Odkud se berou axiomy logiky?" . . "Soustavy axiom\u016F element\u00E1rn\u00ED logiky, jak\u00E9 nach\u00E1z\u00EDme v u\u010Debnic\u00EDch, obvykle neb\u00FDvaj\u00ED p\u0159\u00EDli\u0161 pr\u016Fhledn\u00E9; a \u010Dtan\u00E1\u0159i m\u016F\u017Ee snadno za\u010D\u00EDt vrtat hlavou, jak pr\u00E1v\u011B takov\u00E1 sada axiom\u016F vznikla. V tomto \u010Dl\u00E1nku p\u0159edkl\u00E1d\u00E1me zp\u016Fsob, jak jednu takovou nepr\u016Fhlednou sadu axiom\u016F, konkr\u00E9tn\u011B sadu pou\u017E\u00EDvanou E. Mendelsonem v jeho \u00DAvodu do matematick\u00E9 logiky, sestavit pr\u016Fhledn\u00FDm zp\u016Fsobem, abychom \u010Dten\u00E1\u0159i pomohli z\u00EDskat vhled to doho, jak tyto axiomy funguj\u00ED."@cs . "1335-0668" . . "RIV/67985955:_____/13:00394194!RIV14-GA0-67985955" . "93325" . . "Peregrin, Jaroslav" . "Odkud se berou axiomy logiky?"@cs . "23"^^ . "SK - Slovensk\u00E1 republika" . . . . . . "1"^^ .