Choose a puzzle
Read the premises and goal first. Then build your proof line by line.
Premises (given)
Goal (what to prove)
Rules you can use
- Premise
- Assumption
- Modus Ponens (MP)
- Modus Tollens (MT)
- Conjunction (AND)
- Simplification (SIMP)
- Disjunctive Syllogism (DS)
- Hypothetical Syllogism (HS)
- Double Negation (DN)
Example step
Add a line
Write one new statement. Pick the reason (rule) and the line numbers you used.
Assumptions (subproofs)
Add lines to begin.
#
Line
Reason
Refs
Status
Checklist
- Used premises
- All lines valid
- Goal reached