Logic

Propositional, FOL, higher order logics.

Propositional Logic

Create propositions, apply basic and derived arguments in various proof techniques.

For more information, consider looking at the various Jupyter Notebooks for each flavour of logic.