Logic / Logic 217 · Atom · ~20 seconds
Indirect Proof
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
To prove p: assume ~p, derive a contradiction (q · ~q), then discharge — p exits to the main line.
Show
If denying it explodes, it's true. Video 140's totality, weaponized.
Watch for
Any explicit contradiction ends the sub-proof — it needn't involve p. The absurdity is the point, not its subject.