Propositional Logic Applet


Back

Notes on Propositional Logic

A proposition is a statement that can be true or false. Propositional logic uses true statements to form or prove other true statements.

There are two parts to propositional logic:

Representation:

Reasoning: