About the Text

Extensive coverage in formal logic, including

• The basics of argument
• Translating arguments into sentential logic
• Truth tables
• Derivations in sentential logic
• Translating arguments in to quantificational logic
• Showing arguments invalid in quantificational logic using models
• Derivations in quantificational logic

The chapters on derivation include

• A true system of natural deduction, with introduction and elimination rules for each connective.
• Fitch-style proofs
• Separate sections with their own exercises on direct, indirect, and conditional proof

How is the Lorain County Remix different from the Magnus version?

Future plans and needed changes.