What people are saying - Write a review
We haven't found any reviews in the usual places.
Mathematics and Reality
Sentential Variables Operators and Formulas
Truth Tables The Sentential Calculus
11 other sections not shown
A C(x A P(y algebraic apply assert assumptions atomic statements Axiom Biconditional Substitution Biconditional Theorem binary operator brackets Chapter conditional constant contrapositives Deduction Theorem define definition Detachment dictionary disjunction element Eq Sub Equality Substitution equivalence relation EXERCISES F F F F T F false formal proof free occurrences free variables given identity element inference rule Inst integer inverse inverse element justification logically equivalent mathematical system mathematician meaning metatheorem Modus Tollens negation notation occurs free P A Q pair of statements postulates predicate variable provable Prove Theorem rational number real numbers RefEq Reflexivity of Equality replaced represent restriction Rule of Choice Rule of Instance sentential formula sentential operators sentential variables sequence statement formed substatements symbols Tau Inf tautology triangle truth table universal quantifiers universal theorem Va[a Vab[a Vx[x VxP(x Vxyz[x write x e a x e b zero