Merrie Bergmann,
Smith College James Moor,
Dartmouth College Jack Nelson,
Arizona State University
ISBN: 007353563x Copyright year: 2009
New to this Edition
Extensively revised presentation of derivation systems in Chapters 5 and 10 provides greater transparency and places additional emphasis on the need for and use of specific strategies in constructing derivations. In addition, new annotations for the assumptions that begin subderivations specify the reason these assumptions are being made, while the number and variety of exercises in both chapters has been significantly expanded.
Reorganized coverage of truth-trees in Chapter 9 now presents systematic trees for PL prior to and independent of trees for PLE, and provides for a more clear and straightforward discussion of the rules for PLE. New annotation in chapters 4 and 9 to indicate completed open branches in truth-trees ('o') as well as closed ones ('x').
Chapter 8 now introduces the concept of a model to be used there and in subsequent chapters.
Updated and expanded Online Learning Center includes answers for half of the exercises, allowing students to check their own work.
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