Logic / Logic 213 · Atom · ~20 seconds
Tautology (Redundancy)
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
p :: p ∨ p, and p :: p · p.
Show
Repetition adds nothing and can be collapsed — or manufactured.
Watch for
Mostly used at the end of dilemma proofs, collapsing q ∨ q into q. Blink and you'll miss needing it.