Logic / Logic 152 · Atom · ~20 seconds
Denying the Antecedent
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
If p then q; not-p; therefore not-q. Invalid — always.
Show
If it rained, the street's wet. It didn't rain. "So the street's dry" — the hydrant laughs.
Watch for
MT's evil twin. The conditional never promised q *only* through p.
Builds on
Unlocks
- Nothing yet depends on this.