Merrie Bergmann,
Smith College James Moor,
Dartmouth College Jack Nelson,
Arizona State University
ISBN: 007353563x Copyright year: 2009
Features
Covers semantics, truth trees, derivations, and metatheory as it develops sentential logic (Chapters 2-6) and predicate logic (Chapters 7-11).
Presents both natural deduction and tree methods of proof.
Organizes the material in self-contained chapters for maximum flexibility.
Offers a wide variety of examples that effectively illustrate the concepts discussed.
Includes numerous exercises that provide a range of difficulty.
Predicate logic with identity and functions: semantics, tree system, derivation system, and metatheory
To obtain an instructor login for this Online Learning Center, ask your local sales representative.
If you're an instructor thinking about adopting this textbook, request a free copy for review.
2009 McGraw-Hill Higher Education