Introduction to Logic: Propositional Logic
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.
Organizes content around natural-deduction formal-proof procedures, truth tables, and truth trees. Also presents logical statement connectives gradually, one per chapter, and finally, increases readers' awareness of the arguments they read and hear every day by providing examples of actual arguments to which they can readily relate.
What people are saying - Write a review
Other editions - View all
Fundamentals of Natural Computing: Basic Concepts, Algorithms, and Applications
Leandro Nunes de Castro
No preview available - 2006