This is a simple app for working with basic Propositional Logic proof structures.
- Parse Formula Strings
- Create and Declare Assertions
- Build Formal Arguments with Derivation Rules
- Prove Assertions with Formal Arguments
- 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)