## =,quantifier .
AKA (이름이 너무 많다)
 '''한정기호,'''[* https://blog.naver.com/at3650/220216723410 에서 미적분의 ε-δ 들어가기 전 사용][* KU김정현 이산수학 slide file #1 p22 1.3][* 수학백과: 한정사]
 '''한정사,'''[* 수학백과: 한정사]
 '''양화기호,'''
 '''[[양화사quantifier]],'''[* 수학백과: 한정사]
 '''정량자,'''
 '''수량사'''[* [[https://en.dict.naver.com/#/entry/enko/54fc2999b7ea4b70afd1bd631a8dabb9 영한사전]]에서 all, both 등을 예시로]
 '''한정자'''[* http://bigdata.dongguk.ac.kr/lectures/disc_math/_book/논리명제.html]
 '''정량어''' [* https://cafe.naver.com/designeralice/11916]

발음?
WtEn:quantifier
NdEn:quantifier
----
KMS

KmsE:quantifier = [[https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=quantifier kms quantifier]] : '''한정기호'''

[[양화quantification]]? [[quantification]] =,quantification =,quantification . quantification
{

KmsE:quantification = [[https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=quantification kms quantification]] : '정량화'?
{
[[Date(2023-09-21T20:29:34)]] 현재 항목 하나:
quantification symbol	정량화 기호
}

번역들:
양화 (wk)
한정[* http://bigdata.dongguk.ac.kr/lectures/disc_math/_book/논리명제.html]
정량화 (kms)

NdEn:quantification

WtEn:quantification

Twins:
[[WpKo:양화]]
}를 하는 기호.

[[변수variable]]의 바로 앞에서 변수를 수식하여, 변수의 __적용 범위__를 나타내 줌.
 ''- 그럼 domain과 관련?''

두 가지.
||정량자     ||기호 명칭 ||기호 ||대응하는 한국어 ||대응하는 영문 ||
||전체정량자 ||전칭기호  || ∀   ||모든 ||for all, for every ||
||존재정량자 ||존재기호  || ∃   ||어떤 ||there exists, for some ||

Sub:
 [[전칭기호universal_quantifier]] ∀ : 모든, for all (=보편기호=전칭양화사)
 [[존재기호existential_quantifier]] ∃ : 어떤, there exists  ...=존재양화사?
 [[quantifier_elimination]] =,quantifier_elimination =,quantifier_elimination . quantifier_elimination
{
quantifier elimination

~소거? ~제거?
"한정기호 제거"[* kias horizon]

bmks ko
모델론 맛보기 1: 한정기호 제거
https://horizon.kias.re.kr/22961/

https://mathworld.wolfram.com/QuantifierElimination.html

Up: [[소거,elimination]]

...
Ndict:"quantifier elimination" x [[Date(2023-09-21T20:30:22)]]
Naver:"quantifier elimination"
Daum:"quantifier elimination"
Ddg:"quantifier elimination"
Ggl:"quantifier elimination"
"quantifier elimination"
}
 [[quantified_system]] =,quantified_system =,quantified_system . quantified_system
{
quantified system

WtEn:quantified_system

~계?
https://mathworld.wolfram.com/QuantifiedSystem.html

Up: [[quantified]] [[시스템,system]]

Ddg:"quantified system"
Daum:"quantified system"
Bing:"quantified system"
Ggl:"quantified system"
Naver:"quantified system"
"quantified system"
}

= Related =
비교: 관련성은? - [[qualifier]]
관련: 논리식 술어논리 기호

= Links ko =
http://www.aistudy.com/math/quantifier_johnsonbaugh.htm

= tmp, chk =
양화사라는 이름은 아마도
양=quantity
양화=quantification (양화하다=quantify)
양화사=quantifier
이런???? 번역어를 만들 때 이런과정을거친거?

量話詞라는 단어를 네이버 두산백과 어디선가 보고 위에 내 생각 틀린건가 흠칫했는데 (QQQ 두백이 틀린건지 아님 논리학 말고 순수철학쪽에 量話詞라는 별도 개념이 있는건지??)
量化詞 맞다 그래서 걱정 안해도 된다..

양화사라는 단어가 그 뉘앙스를 제대로 전달해주지 못한다. 그래서 번역어가 이렇게 중구난방인듯
 수식어modifier 연산자operator 이쪽 느낌을 반영해주지 못하는 그런느낌

= n차논리와의 관계 =
quantifier가 없으면 영차논리,zeroth-order_logic = [[VG:명제논리,propositional_logic]],
quantifier가 변수만을 한정하면 [[VG:일차논리,first-order_logic]] = [[VG:술어논리,predicate_logic]],
quantifier가 술어관계도 한정하면 이차논리,second-order_logic
인건지? CHK. via [[VG:술어논리,predicate_logic]] 윗부분 '수백 술어논리'

= generalized quantifier =
일반화된 quantifier ?
[[일반화,generalization]]
[[generalized_quantifier]]

= (etc, misc.) Python의 all과 any =
QQQ 이건 혹시 logic의 quantifier의 영향을 받은건가?

`all(x)` (x는 iterable? chk)
x가 모두 참이면 `True`, 거짓이 하나라도 있으면 `False`를 리턴

`any(x)`
x중 하나라도 참이 있으면 `True`, x가 모두 거짓이면 `False`를 리턴

[[파이썬,Python]] [[내장함수,builtin_function]]? chk

----
Twins:

https://simple.wikipedia.org/wiki/Logical_quantifier

[[https://terms.naver.com/entry.naver?docId=3338067&cid=47324&categoryId=47324 수학백과: 한정사]]
 ([[Date(2023-12-10T01:02:51)]] 첫 문장 "'''한정기호'''란 어떤 [[명제함수]]가 성립하는 범위를 한정하는 데 사용하는 것으로, '''한정사''' 또는 '''양화사'''라고도 한다.")

https://encyclopediaofmath.org/wiki/Quantifier

Quantifiers and Quantification (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/quantification/

RENAMETHISPAGE