60 pages matching follows in this book
Results 1-3 of 60
What people are saying - Write a review
We haven't found any reviews in the usual places.
TRUTH FUNCTIONS 1 Negation Conjunction and Alternation
41 other sections not shown
Other editions - View all
abstract affirm alternation antecedent becomes true biconditional Cerberus clause closed schemata comes out true components compound conclusion conditional conjunction consistency construed DeMorgan's laws Diagram elementary number theory equivalence example existential quantification F are G false finished deduction follows free occurrences free variables identity implies inconsistent inference interpret Fx interpretation of Fx irreflexivity ix)Fx Jones logic Mathematical Logic mathematics means merely monadic negation nonempty universe notation objects open schemata open sentence ordinary language p v q preceding section predicate letters predicate-schema premisses purports to name q v r quantification theory quantificational schemata result schema schematic letters sense sentence letters singular terms Socrates statements step strategy subjoined substitution syllogism theory of classes thing tion truth function truth value truth-functional schemata truth-value analysis uniform quantification universal closures universal instantiation universal quantification valid schemata words x)Fx D Fy