Logic / Logic 256 · Atom · ~20 seconds
Why Propositional Logic Isn't Enough
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
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.