What people are saying - Write a review
We haven't found any reviews in the usual places.
Truth Functions 1 Negation Conjunction and Alternation
42 other sections not shown
Other editions - View all
abstract affirm alternation antecedent becomes true biconditional Cerberus clause closed schema comes out true components compound conclusion conditional conjunction consistent construed decision procedure deduction DeMorgan's laws Diagram elementary number theory equivalent example existential quantification F are G false follows free variables Godel identity implies inconsistent inference interpret Fx interpretations of Fx irreflexivity ix)Fx Jones logic mathematics means method monadic negation nonempty universe notation objects occurrence open schemata open sentences ordinary language p v q preceding section predicate letters predicate-schema premisses purports to name quantification theory quantificational schemata result schematic letters sense sentence letters singular terms Socrates statements step-conditionals subjoin substitution syllogism theory of classes thing tion truth function truth value truth-functional schemata truth-value analysis uniform quantification universal closure universal instantiation universal quantification valid schemata words x)(Fx D Gx x)Fx D Fy