Logic / Logic 219 · Atom · ~20 seconds
Proving Tautologies
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
Tautologies are provable from zero premises — open immediately with a CP or IP assumption.
Show
To prove p ∨ ~p: assume its negation, De Morgan it into p-and-not-p territory, explode, discharge.
Watch for
A proof with no premises looks impossible for exactly one video's worth of time.
Unlocks
- Nothing yet depends on this.