Abstract Logic

Formal symbolic logic workspace. The applied proposition composer is on its own page.

Examples: (p implies q), (p and (not q)), (p or (not p))

Open Applied Logic Page

Abstract Proof Engine

Put one premise per line, then add a goal.

Abstract Formula Evaluation

Abstract Truth Table

Check tautology, contradiction, or contingency.