Logic / Logic 208 · Atom · ~20 seconds

Double Negation

Video not yet published
to the StudyWalks catalog

State

p :: ~~p.

Show

"It's not the case that the motion didn't pass" — the motion passed.

Watch for

Trivial-looking, constantly needed: MT and DS demand exact negation matches, and DN is what manufactures them (194's cliffhanger, resolved).