Logic / Logic 151 · Atom · ~20 seconds
Modus Tollens
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
If p then q; not-q; therefore not-p. Always valid.
Show
If the fuse blew, the lights are out. The lights are on. The fuse didn't blow.
Watch for
MT runs the conditional backward *through the negations* — the only legal reverse gear.