Difference between r1.9 and the current
@@ -15,3 +15,7 @@
https://ncatlab.org/nlab/show/universal+quantifier
Up: [[한정기호_정량자_quantifier]]
Up: [[한정기호_정량자_quantifier]]
다른가능한분류? : 수식기호 [[modifier]] ? [[기호,symbol]] ?
RENAMETHISPAGE
∀
LaTeX에선 \forall : $\displaystyle \forall$
이름이 관련: 전칭명제
universal_statement ("for all" statement)를 반박하는 예,example는 반례,counterexample. { https://oeis.org/wiki/Counterexamples }
Universal_quantifierhttps://mathworld.wolfram.com/UniversalQuantifier.html
https://ncatlab.org/nlab/show/universal quantifier
RENAMETHISPAGE