Material Detail

Intro to Logic

Intro to Logic

This is 'an introduction to reasoning with propositional and first-order logic, with applications to computer science. It is Part of the TeachLogic Project ('

Contents include:

  • Introduction
  • Propositional Logic
  • Relations and Models
  • First-Order Logic
  • Conclusion, Acknowledgements
  • Appendices and Reference Sheets


More about this material


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