Logic / Logic 220 · Atom · ~20 seconds
The Common Proof Errors
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
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.