TY - JOUR
T1 - Odkud se berou axiomy logiky?
JF - Organon F
Y1 - 2013
A1 - Peregrin, Jaroslav
KW - Axioms
KW - logic
KW - Natural Deduction
KW - negation
AB - 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 constituting 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.
IS - 2
VL - 20
SP - 117-139
UR - http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/117-139.pdf
U3 - 117139
U5 - 1
TI - Where Do the Axioms of Logic Come from?
ER -