Logic / Logic 277 · Atom · ~20 seconds
"Only," "Except," and Superlatives
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
Identity unlocks exact-count and exclusivity claims.
Show
"Only Alice passed": Pa · (x)(Px ⊃ x = a). "Alice is tallest" (Txy: x is taller than y): (x)((Px · x ≠ a) ⊃ Tax).
Watch for
These translations run long. Build them clause by clause — the existence claim, then the exclusion clause.