The following interactive supplements are designed to be used along with David Kaplan’s Logic 2010 and Terry Parsons’ An Exposition to Symbolic Logic (i.e., the “Logic Text” that is included with the Logic 2010 software).

This is a work in progress. Please let me know about any typos, mistakes, or bugs.

Chapter 0: Introduction

• What is Logic?
• Evaluating Arguments
• Logical Form and Formal Validity

Chapter 1: Sentential Logic with ‘If’ and ‘Not’

• 1.1 and 1.2: Introducing Negations and Conditionals
• 1.3: Symbolization
• 1.4 and 1.5: Introducing Derivations
• 1.6 and 1.7: Conditional and Indirect Derivations
• 1.8 and 1.9: Subderivations and Shortcuts
• 1.10, 1.11, and 1.12: Strategies and Theorems
• Addendum: Arguments

Chapter 2: Sentential Logic with ‘and’, ‘or’, and ‘if and only if’

• 2.1: New Connectives
• 2.2: English Equivalents
• 2.10 and 2.11: Truth Tables
• 2.3: Complex Symbolization
• 2.4: New Rules
• 2.5: Derivations
• 2.6, 2.7, and 2.8: Theorems and Derived Rules
• 2.9: Using Derived Rules
• Addendum: Arguments
• Addendum: Metatheory

Chapter 3: Monadic Predicate Logic

• 3.1 and 3.2: New Symbols
• 3.3 and 3.4: Semantics
• 3.5 Symbolization
• 3.6 and 3.7: UI, EG, EI, UD
• 3.8 and 3.9: Quantifier Negation
• 3.10: Invalidity
• Addendum: Arguments