The Common Proof Errors
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
The recurring five: Simp on a non-conjunction; inference rules applied to parts of lines; citing discharged lines; DS by affirming; negation mismatches unfixed by DN.
Show
Each shown in a single wrong line with the error circled.
Watch for
Every one of these is a valid rule applied where its conditions don't hold. The rules are never wrong; the reach is.
Builds on
Unlocks
- Nothing yet depends on this.