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. 
From inside the book
54 pages matching truthfunctional in this book
Page 332
Where's the rest of this book?
Results 13 of 54
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

Review: Methods of Logic
User Review  Gavin Brown  GoodreadsVery useful text on formal logic. However, the notation is antiquated. That being said, Quine's text is still one of the clearest and most thorough introductions on the subject. He writes in a style ... Read full review
Review: Methods of Logic
User Review  Gavin Brown  GoodreadsVery useful text on formal logic. However, the notation is antiquated. That being said, Quine's text is still one of the clearest and most thorough introductions on the subject. He writes in a style ... Read full review
Contents
Introduction  1 
TRUTH FUNCTIONS  7 
Negation Conjunction and Alternation  9 
Copyright  
53 other sections not shown
Common terms and phrases
3x Fx affirmative alternational normal antecedent axioms biconditional Boolean existence Boolean term schemata Cerberus clausal UG clause comes out true component compound conclusion conjunctional normal form consistency decision procedure deduction Diagram dyadic equivalent example EXERCISES existence schemata existential quantifiers F are G false fell swoop free variables functional normal forms functors HISTORICAL NOTE identity implies instantial variable interpretation logic main method means monadic negation normal schema notation objects ordinary language p v q paraphrasing polyadic premises prenex form proof procedure quantificational schemata relettering rules of passage set theory singular terms substitution syllogism term abstracts term letters term schema theorem tion truth functions truth value truthfunctional truthfunctionally valid truthvalue analysis universal quantifiers unquantified instances valid schemata Vjc Fx Vx Fx Vx(Fx