Exercise
Start with the premises. Each new line should be justified by a rule.
Premises
Goal
Rules
- Premise
- Modus Ponens (MP)
- Modus Tollens (MT)
- Conjunction (AND)
- Simplification (SIMP)
- Disjunctive Syllogism (DS)
- Hypothetical Syllogism (HS)
- Double Negation (DN)
Example step
Add a step
Type the statement you want to prove, choose the rule you used, and list the line numbers that support it.
Subproof controls
Add steps to begin.
#
Statement
Rule
Refs
Status
Checklist
- Premises used
- All steps valid
- Goal reached