한정기호_정량자_quantifier

Difference between r1.34 and the current

@@ -50,6 +50,11 @@
Sub:
[[전칭기호universal_quantifier]] ∀ : 모든, for all (=보편기호=전칭양화사)
[[존재기호existential_quantifier]] ∃ : 어떤, there exists ...=존재양화사?
uniqueness_quantifier
'''uniqueness quantifier'''
[[유일성,uniqueness]] quantifier
https://oeis.org/wiki/Logical_quantifiers#Uniqueness_quantifier
// uniqueness quantifier ... NN:"uniqueness quantifier" Bing:"uniqueness quantifier" Ggl:"uniqueness quantifier"
[[quantifier_elimination]] =,quantifier_elimination =,quantifier_elimination . quantifier_elimination
{
quantifier elimination
@@ -137,6 +142,10 @@
----
Twins:

https://oeis.org/wiki/Logical_quantifiers
 
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)]] 첫 문장 "'''한정기호'''란 어떤 [[명제함수]]가 성립하는 범위를 한정하는 데 사용하는 것으로, '''한정사''' 또는 '''양화사'''라고도 한다.")


AKA (이름이 너무 많다)
한정기호,[1][2][3]
한정사,[4]
양화기호,
양화사quantifier,[5]
정량자,
수량사[6]
한정자[7]
정량어 [8]

발음?
WtEn:quantifier
NdEn:quantifier
KMS

KmsE:quantifier = [https]kms quantifier : 한정기호

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

KmsE:quantification = [https]kms quantification : '정량화'?
{
2023-09-22 현재 항목 하나:
quantification symbol 정량화 기호
}

번역들:
양화 (wk)
한정[9]
정량화 (kms)



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

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

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

Sub:
전칭기호universal_quantifier ∀ : 모든, for all (=보편기호=전칭양화사)
존재기호existential_quantifier ∃ : 어떤, there exists ...=존재양화사?
uniqueness_quantifier
uniqueness quantifier
유일성,uniqueness quantifier
https://oeis.org/wiki/Logical_quantifiers#Uniqueness_quantifier
// uniqueness quantifier ... NN:uniqueness quantifier Bing:uniqueness quantifier Ggl:uniqueness quantifier
quantifier_elimination =,quantifier_elimination =,quantifier_elimination . quantifier_elimination
{
quantifier elimination

~소거? ~제거?
"한정기호 제거"[10]

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



...
Ndict:quantifier elimination x 2023-09-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





[edit]

Related

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

[edit]

Links ko

[edit]

tmp, chk

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

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

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

[edit]

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 윗부분 '수백 술어논리'

[edit]

generalized quantifier

[edit]

(etc, misc.) Python의 all과 any

QQQ 이건 혹시 logic의 quantifier의 영향을 받은건가?

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

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


Twins:



[https]수학백과: 한정사
(2023-12-10 첫 문장 "한정기호란 어떤 명제함수가 성립하는 범위를 한정하는 데 사용하는 것으로, 한정사 또는 양화사라고도 한다.")

https://encyclopediaofmath.org/wiki/Quantifier

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

RENAMETHISPAGE
----
한정기호_정량자_quantifier Modified on 9:30 pm, August 9, 2024.
🎲 Random