Material Detail

forallX: an Introduction to Formal Logic

forallX: an Introduction to Formal Logic

In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties that were hard to discern in English become clearer in the formal language. This book covers translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises, and solutions to selected exercises appear in an appendix. The...

Show More


  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material


Log in to participate in the discussions or sign up if you are not already a MERLOT member.