Introduction to logic : propositional logic

A fun yet challenging introduction to propositional logic, treating the symbolization of English sentences and developing formal-proof, truth-table, and truth-tree techniques for evaluating arguments. Material is organized around natural-deduction formal-proof procedures. Logic is applied to content commonly encountered by undergraduate students, with examples and exercises drawn from comics, newspaper articles, television, and textbooks. Each logical connective is the subject of one chapter, allowing students to master both symbolization and proof moves before tackling the next connective. This third edition contains new exercises and examples, a chapter on truth trees, and an appendix on metatheory. In this edition, derived rules are presented in two stages to facilitate learning. Annotation c. by Book News, Inc., Portland, Or.