What people are saying - Write a review
We haven't found any reviews in the usual places.
Mathematical Preliminaries ____
The Syntax of Sentential Logic
ShortCut Rules For Sentential Logic
21 other sections not shown
2,A SHOW 3x(Fx A Gx 3xFx 3xGx antecedent argument arithmetic assume assumption numbers axioms balanced parentheses boolean interpretation cardinality chapter clause Compactness Complete Induction consequence consistent corollary deduction theorem define derivational rules domain of discourse element epimorphism equality example Exercises existential false finite subset first-order logic first-order theory formal formula Godel's Hence i-iP intuitive isomorphic later line Leibniz's Law logical names MATH-IND Mathematical Induction metatheorem naming function naming interpretation natural numbers negation non-logical symbols Number Theory numeral term occurrences P A Q primitive recursive primitive recursive functions proof prove quantifiers recursive functions relation letter representable Self(k semantic sentence letter sentence of LSL sentential logic set of sentences SHOW A CONTRADICTION SHOW line Strong Completeness structure Suppose syntactic theorem 3.9 truth ultraproduct vacuous truth variable Vx(Fx VxFx VxGx VxVy(Fx write