Dalal Alrajeh :: Teaching

Teaching :: 40018 Logic

For references on syntax and semantics of propositional and perdicate logic and natural dedeuction, see:

The Logic Manual.
Volker Halbach. Oxford University Press, Oxford, United Kingdom. 2010.
Logic in Computer Science: Modelling and Reasoning about Systems.
Michael Huth and Mark Ryan. Cambridge University Press, New York, NY, USA. 2004.

For references on syntax and semantics of propositional and perdicate logic and exercises, see:

Propositional and Predicate Calculus: A Model of Argument.
Derek Goldrei. Springer-Verlag London Limited. 2005.

Pandora: Proof Assistant for Natural Deduction.
Please visit the guideline page for instructions on how to run Pandora remotely.

PBL: A Python Boolean library for parsing and manipulating boolean formulae.

PBL online: Converting propositional logic formulas to CNF.