%0 Journal Article
%J Organon F
%D 2013
%T Odkud se berou axiomy logiky?
%A Peregrin, Jaroslav
%K Axioms
%K logic
%K Natural Deduction
%K negation
%X 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.
%B Organon F
%V 20
%P 117-139
%G Czech
%U http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/117-139.pdf
%3 117139
%# 1