Introduction to Logic: Propositional Logic

This clearly written introduction to the fundamental branch of symbolic logic treats the symbolization of English sentences, and develops formal-proof, truth-table, and truth-tree techniques for evaluating arguments. Logic is applied to materials encountered by college students with practical examples and exercises drawn from newspapers, television, textbooks, and so forth. Logic is made interesting and relatively easy to learn without sacrificing content or rigor. The natural-deduction inference rules employed are well suited for enhancing students' logical skills. Each logical connective is the subject of one chapter. This allows the student to master both symbolization and proof moves before tackling the next connective. Among the new and revised elements in the third edition are many new exercises and examples, a chapter on truth trees, an appendix on metatheory, and derived rules presented in two stages to facilitate learning.