Logic / Logic 261 · Atom · ~20 seconds
The Four Forms, Upgraded
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
A: (x)(Sx ⊃ Px). E: (x)(Sx ⊃ ~Px). I: (∃x)(Sx · Px). O: (∃x)(Sx · ~Px).
Show
Unit 3's four forms, rewritten in the finer notation.
Watch for
Note the pattern — universals pair with ⊃, existentials with ·. That pairing is a law, and the next-but-one video explains it.