About the Book

New Exercises

Logic in Action

Software

Additions and Changes

Errata

Above and Beyond

Slide the Symbols

About the Author

Acknowledgments

 

Comments on the Book

Comments on this site

 

 

Some exercises would be better done in a new order. The suggestions below ensure that every exercise begins with the most basic problems, then gets progressively more difficult.

Propositional Logic (PL)

pp. 56-57: Ex. 3: new order: 3, 6, 9, 1, 2,4, 5, 7, 8, 10, 17, 19-29, 11 then the remaining ones.

p. 96: Ex. 2: try #3-8 before #1 and #2.

Property Predicate Logic (PPL)

p.185: Ex 2: keep #1-5 the same, then starting at problem #6, change to: 6, 8, 11,14, 15,16, 7, 9, 10, 12 ,13.

Relational Predicate Logic (RPL)

p. 225: Ex. 5: Don't worry about #5, 6, 7, 8, 9, 10, or 11 -- see the new exercises (Chapter 13) for replacements.

p. 237: Ex. 1: new order: 6, 3, 4 ,9, 2, 5, 1, 7, 8.

p. 246: Ex. 5: Add problems # 5, 6, 7, 8, 9, 10, and 11 from p. 225.

p. 246: Ex. 6: new order: 1,6,4,5,2,3.

Relational Predicate Logic with Identity (RPL=)

p. 267: Ex. 4: new order: 1, 2, 3, 5, 8, 9, 7, 6, 4.