Useful References

  • Propositional Logic Satisfiability Tools
  • Slides on Propositional Logic and Predicate Logic

  • Notes on Propositional Logic

  • Propositional Logic and Predicate Logic

  • Predicate Logic