Methods of Logic |
Contents
TRUTH FUNCTIONS 1 Negation Conjunction and Alternation | 1 |
Truth Functions | 2 |
The Conditional PAGE vii xi | 14 |
Copyright | |
45 other sections not shown
Common terms and phrases
abstract alternation antecedent Ax)Fx axioms becomes true biconditional Cerberus class theory clause comes out true components conclusion conditional conjunction construed Diagram elementary number theory equivalence example existential quantification F are G false finished deduction flagged variables follows free occurrences free variables Fx Ɔ Fy Ɔ identity inference irreflexivity last line logic Mathematical Logic mathematics means monadic natural numbers negation nonempty universe notation object open schemata open sentences ordinary language Ɔ Gx p v q Parthenon preceding section predicate letters predicate-schema premisses purports to name quantification theory quantificational schemata S₁ S₂ schema schematic letters sentence letters singular terms Socrates statements subjoined substitution syllogism theory of classes thing tion truth function truth value truth-functional schemata truth-value analysis U₁ uniform quantification universal closures universal instantiation universal quantification valid schemata words