Why Propositional Logic Isn't Enough
This video presents the same text shown beside it, spoken and on screen. It adds nothing the text does not say.
State
"All humans are mortal; Socrates is human; so Socrates is mortal" symbolizes as p, q ∴ r — invalid propositionally. The validity lives inside the statements.
Show
Propositional logic sees atoms; this argument's engine is subatomic.
Watch for
Predicate logic doesn't replace Units 4–5 — it extends them downward, keeping every rule.