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.
Related Subjects
Artificial Intelligence Behavioral Sciences Cognitive Cognitive Psychology Computer Science Computers Computers & Technology Health, Fitness & Dieting Health, Fitness & Dieting Human Vision & Language Systems Logic Logic & Language Machine Learning Math Mathematics Philosophy Politics & Social Sciences Psychology Psychology & Counseling Science & Math