Proving Tautologies
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
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.
Builds on
Unlocks
- Nothing yet depends on this.