Propositional Logic Learning Support

This website contains tools and exercises designed to support students learning propositional logic.

Syntax

Practice recognising well formed formulas.
Practice transforming full syntax into short hand syntax.
Practice operator precedence by recognising the top level operator of formulas.

Semantics

Generates the truth table for a specified formula automatically.
Displays a given formula and its truth values in tree form.

Resolution

Generates the conjunctive normal form of a given formula automatically.
Practice constructing resolution proofs.

This website was created by Elin Uddenberg as a 4th year dissertation project in computer science
at Heriot-Watt University.