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.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s