Methods of LogicThis widely used textbook of modern formal logic now offers a number of new features. Incorporating updated notations, selective answers to exercises, expanded treatment of natural deduction, and new discussions of predicate- functor logic and the affinities between higher set theory and the elementary logic of terms, Quine's new edition will serve admirably both for classroom and for independent use. |
Contents
Introduction | 1 |
TRUTH FUNCTIONS | 7 |
Negation Conjunction and Alternation | 9 |
Copyright | |
49 other sections not shown
Other editions - View all
Common terms and phrases
3x Fx alternational normal schema antecedent axioms biconditional Boolean existence schema Boolean statement Boolean term schemata Cerberus clause comes out true component conclusion conjunctional normal form consistency decision procedure deduction Diagram dual duality equivalent example EXERCISES existence schemata existential conditionals existential quantifiers F are G fell swoop free variable functional normal forms functors G are H HISTORICAL NOTE inconsistent interpretation logic main method means modus ponens monadic negation notation objects ordinary language p v q pq V pr preceding chapter premises prenex form proof procedure quantificational schemata relettering rendered rules of inference rules of passage S₁ set theory singular terms statement schema substitution syllogism term abstraction term letters term schema theorem tion truth functions truth value truth-functional schemata truth-value analysis universal quantifiers valid schemata Vx Fx Vx(Fx