|
Logic Primer presents a rigorous introduction to natural
deduction systems of sentential and first-order logic. The text is
designed to foster the student-instructor relationship. The key
concepts are laid out in concise definitions and comments, with the
expectation that the instructor will elaborate upon them. New to the
second edition is the addition of material on the logic of identity in
chapters 3 and 4. An innovative interactive Web site, consisting of a
"Logic Daemon" and a "Quizmaster," encourages students to formulate
their own proofs and links them to appropriate explanations in the
book.
Logic Daemon and
Quizmaster
|