Difference between r1.11 and the current
@@ -1,3 +1,5 @@
'''전체한정자, 전칭기호, .....'''
LaTeX에선 \forall : $\forall$
@@ -18,4 +20,6 @@
다른가능한분류? : 수식기호 [[modifier]] ? [[기호,symbol]] ?
[[논의영역,discourse_domain]]안의 모든 것?
전체한정자, 전칭기호, .....
∀
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
논의영역,discourse_domain안의 모든 것?
RENAMETHISPAGE