Logic / Logic 125 · Atom · ~20 seconds
Translating "Unless"
Video not yet published
to the StudyWalks catalog
to the StudyWalks catalog
State
"p unless q" translates as p ∨ q.
Show
"I'll walk unless it rains" — W ∨ R. Equivalently: ~R ⊃ W.
Watch for
Resist the urge to over-read: "unless" ordinarily doesn't promise what happens *if* it rains. That extra promise is the exclusive reading, and it needs explicit warrant.
Builds on
Unlocks
- Nothing yet depends on this.