Material Detail

Metatheory for truth-functional logic

Metatheory for truth-functional logic

This book is an introduction to the metatheory of truth-functional logic, also known as the propositional calculus.

This book does not itself contain an account of truth-functional logic, but instead assumes a prior understanding. More specifically, this book assumes a thorough understanding of the syntax, semantics and proof-system for TFL (truth-functional logic) that is presented in forallx :Cambridge 2013-4 (for brevity, I henceforth...

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.