Introduction to Logic: Propositional Logic

Renting vs. Buying This Textbook

Renting is usually cheapest if you only need the book for one term: you return it with a free prepaid label when the term ends. Buying used can beat renting when the sell-back price is high, so compare the sell-back price with the rental price before you decide. An eTextbook arrives instantly but usually expires. Rentals and used copies rarely include working access codes.

Always match the ISBN on your syllabus (9780130258496) before you order; different editions have different ISBNs.

About This Book

Designed to make logic interesting and accessible-- without sacrificing content or rigor --this classic introduction to contemporary propositional logic explains the symbolization of English sentences and develops formal-proof, truth-table, and truth-tree techniques for evaluating arguments. An accompanying computer tutorial program, PropLogic, is available on CD-ROM in two versions: one version can be installed and run off a hard drive; one (identical) "portable" version can be run off the CD-ROM itself (allowing students/instructors flexibility on when/where they use the program). An appendix in the text describes program details. KEY TOPICS: Tutors readers on formula construction, symbolization, formal proofs, full and brief truth tables, and truth trees. Also provides additional practice exercises. Content organized around natural-deduction formal-proof…