@article {1152, title = {Odkud se berou axiomy logiky? }, journal = {Organon F}, volume = {20}, number = {2}, year = {2013}, pages = {117-139}, abstract = {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.}, keywords = {Axioms, logic, Natural Deduction, negation}, url = {http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/117-139.pdf}, author = {Peregrin, Jaroslav} }