Presupposes no previous training in logic, which makes the text suitable for both introductory and intermediate courses in symbolic logic.

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').

Many chapters have been reorganized so that technical material is presented at the beginning of the chapter so that instructors have the flexibility to cover the material quickly before proceeding.

Includes a fuller and more accessible discussion of formal semantics.

A more focused presentation of deductive logic is emphasized in this book.