Mathematical Logic |
Contents
Preface V | 1 |
CHAPTER ONE Statements | 9 |
Conjunction Alternation and Denial II | 11 |
Copyright | |
62 other sections not shown
Other editions - View all
Common terms and phrases
abbreviation abstract alternation analogue antecedent arithmetic atomic formulæ axioms of membership axioms of quantification bears belongs Berkeley biconditional binary bound CALIFORNIA LIBRARY closure conditional conjunction connective construed containing free occurrences defined definition dots element elementhood entities equivalent expression false fashion Fmla free variables Frege function hence identity joint denial Jones logical formula logical truths mathematical induction mathematical logic matrix ments metatheorems mode of composition mortal names natural number Nn Ɔ notion object Ɔ ¹ pairs parentheses ponentials prefix primitive notation Proof similar protosyntactical quasi-quotation ratios real numbers relation respect S₁ S₂ sense sequence signed real Similarly simply Socrates sole member statement composition stratification symbolically syntactical tautologous tautologous forms theorems theory true truth table truth value truth-functional components universal quantifier ye Nn