Discovering Truth [Pre-Alpha]

This is a simple app for working with basic Propositional Logic proof structures.

Features

• Parse Formula Strings
• Create and Declare Assertions
• Build Formal Arguments with Derivation Rules
• Prove Assertions with Formal Arguments

Derivation Rules

• Rule of Assumptions (A)
• Double Negation Introduction (DNI)
• Double Negation Elimination (DNE)
• Modus Ponendo Ponens (MPP)
• Modus Tollendo Tollens (MTT)
• Conditional Proof (CP)
• Conjunction Introduction (CI)
• Conjunction Elimination (CE)
• Disjunction Introduction (DI)
• Disjunction Elimination (DE)
• Reductio Ad Absurdum (RAA)