Reasoning with the Propositional Calculus

Terminology of the propositional calculus

Proof by perfect induction

Proof by Wang’s algorithm

Proof by resolution.

Next slide Back to first slide View graphic version