4 ms·
Since there are certainly people unfamiliar with the symbols, here is the Wikipedia article on them: https://en.wikipedia.org/wiki/Quantifier_(logic) https://e
by _Microft 3y ago
Since there are certainly people unfamiliar with the symbols, here is the Wikipedia article on them:
https://en.wikipedia.org/wiki/Quantifier_(logic) https://en.wikipedia.org/wiki/Quantifier_(logic)
- nirvdrum 3y agoThe article provides abbreviated definitions that might be less confusing to follow than the comprehensive Wikipedia page. But, I agree that calling them out a bit more clearly in the article would have been helpful.
- LegitShady 3y agoI just want to know what they're called if someone were to say them out loud. Upside down A and backwards E probably aren't accurate.
- _Microft 3y agoI understand this as question on how these symbols are pronounced (the names are in the article if you are curious): actually "for all/every <...>" and "there is/exists (at least one) <...>". Example: ∀ x∈ℝ\{0} ∃y∈ℝ : x*y=2 "For all values x from the real numbers excluding zero, there is a value y from the real numbers so that x*y equals 2."