Introduction to Mathematical Logic, Issue 17, Volume 1 |
Contents
Constants and variables | 9 |
Functions | 17 |
Propositions and propositional functions | 25 |
34 other sections not shown
Other editions - View all
Introduction to Mathematical Logic, V1: Princeton Mathematical Series, Issue 17 Alonzo Church No preview available - 2013 |
Introduction to Mathematical Logic, V1: Princeton Mathematical Series, Issue 17 Alonzo Church No preview available - 2013 |
Common terms and phrases
A₁ a₂ abbreviation axiom of infinity axiom schemata b₁ b₂ binary functional binary functional variables brackets C₁ C₂ calculus of second cited in footnote consistent contains corresponding decision problem deduction theorem denotation derived rule disjunction domain of individuals dual equivalence exercise expression extended propositional calculus finite formalized language free occurrence free variables functional constants given Hence Hilbert implication independence individual constants logistic system Mathematica mathematical induction meta-language metatheorem method modus ponens n-ary functional variable natural numbers negation notation object language obtained P₂ particular premiss prenex normal form primitive connectives primitive symbols principal interpretation proof propositional form propositional functions propositional variables prove pure functional calculus quantifier-free real numbers reduction result rule of substitution rules of inference schema second order semantical rules sense sentence Skolem normal form syntactical system of postulates system of values tautology theorem schemata truth-table truth-values underlying logic valid well-formed formulas