"It follows naturally from the rule: (∃ T . F⟨T⟩) → R ≃ ∀ T . (F⟨T⟩ → R)" — Yup; that's about as natural as it gets.
-
-
And it's never "just" do thing_a. There's always context and background we take for granted.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Yeah I'm with you on all this. Tbf the concept often *is* easy, and notation makes it hard.
-
On the other hand I didn't think using the symbols for "exists" and "for all" in a discussion about
- 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.