Difference between r1.34 and the current
@@ -50,6 +50,11 @@
Sub:
[[전칭기호universal_quantifier]] ∀ : 모든, for all (=보편기호=전칭양화사)
[[존재기호existential_quantifier]] ∃ : 어떤, there exists ...=존재양화사?
{
quantifier elimination
[[전칭기호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://terms.naver.com/entry.naver?docId=3338067&cid=47324&categoryId=47324 수학백과: 한정사]]
([[Date(2023-12-10T01:02:51)]] 첫 문장 "'''한정기호'''란 어떤 [[명제함수]]가 성립하는 범위를 한정하는 데 사용하는 것으로, '''한정사''' 또는 '''양화사'''라고도 한다.")
Twins:
https://oeis.org/wiki/Logical_quantifiers
https://simple.wikipedia.org/wiki/Logical_quantifier
([[Date(2023-12-10T01:02:51)]] 첫 문장 "'''한정기호'''란 어떤 [[명제함수]]가 성립하는 범위를 한정하는 데 사용하는 것으로, '''한정사''' 또는 '''양화사'''라고도 한다.")
KMS
변수variable의 바로 앞에서 변수를 수식하여, 변수의 적용 범위를 나타내 줌.
Sub:
quantifier elimination
- 그럼 domain과 관련?
두 가지.정량자 | 기호 명칭 | 기호 | 대응하는 한국어 | 대응하는 영문 |
전체정량자 | 전칭기호 | ∀ | 모든 | for all, for every |
존재정량자 | 존재기호 | ∃ | 어떤 | there exists, for some |
Sub:
전칭기호universal_quantifier ∀ : 모든, for all (=보편기호=전칭양화사)
존재기호existential_quantifier ∃ : 어떤, there exists ...=존재양화사?
uniqueness_quantifier
{존재기호existential_quantifier ∃ : 어떤, there exists ...=존재양화사?
uniqueness_quantifier
uniqueness quantifier
유일성,uniqueness quantifier
https://oeis.org/wiki/Logical_quantifiers#Uniqueness_quantifier
// uniqueness quantifier ... uniqueness quantifier uniqueness quantifier uniqueness quantifier
quantifier_elimination =,quantifier_elimination =,quantifier_elimination . quantifier_elimination유일성,uniqueness quantifier
https://oeis.org/wiki/Logical_quantifiers#Uniqueness_quantifier
// uniqueness quantifier ... uniqueness quantifier uniqueness quantifier uniqueness quantifier
quantifier elimination
Up: 소거,elimination
...
quantifier elimination x 2023-09-22
quantifier elimination
quantifier elimination
quantifier elimination
quantifier elimination
"quantifier elimination"
}
quantified system
quantifier elimination x 2023-09-22
quantifier elimination
quantifier elimination
quantifier elimination
quantifier elimination
"quantifier elimination"
}
quantified_system =,quantified_system =,quantified_system . quantified_system
{quantified system
quantified system
quantified system
quantified system
quantified system
quantified system
"quantified system"
}
quantified system
quantified system
quantified system
quantified system
"quantified system"
}
tmp, chk ¶
양화사라는 이름은 아마도
양=quantity
양화=quantification (양화하다=quantify)
양화사=quantifier
이런???? 번역어를 만들 때 이런과정을거친거?
양=quantity
양화=quantification (양화하다=quantify)
양화사=quantifier
이런???? 번역어를 만들 때 이런과정을거친거?
量話詞라는 단어를 네이버 두산백과 어디선가 보고 위에 내 생각 틀린건가 흠칫했는데 (QQQ 두백이 틀린건지 아님 논리학 말고 순수철학쪽에 量話詞라는 별도 개념이 있는건지??)
量化詞 맞다 그래서 걱정 안해도 된다..
量化詞 맞다 그래서 걱정 안해도 된다..
양화사라는 단어가 그 뉘앙스를 제대로 전달해주지 못한다. 그래서 번역어가 이렇게 중구난방인듯
수식어modifier 연산자operator 이쪽 느낌을 반영해주지 못하는 그런느낌
n차논리와의 관계 ¶
quantifier가 없으면 영차논리,zeroth-order_logic = 명제논리,propositional_logic,
quantifier가 변수만을 한정하면 일차논리,first-order_logic = 술어논리,predicate_logic,
quantifier가 술어관계도 한정하면 이차논리,second-order_logic
인건지? CHK. via 술어논리,predicate_logic 윗부분 '수백 술어논리'
quantifier가 변수만을 한정하면 일차논리,first-order_logic = 술어논리,predicate_logic,
quantifier가 술어관계도 한정하면 이차논리,second-order_logic
인건지? CHK. via 술어논리,predicate_logic 윗부분 '수백 술어논리'
(etc, misc.) Python의 all과 any ¶
QQQ 이건 혹시 logic의 quantifier의 영향을 받은건가?
all(x)
(x는 iterable? chk)x가 모두 참이면
True
, 거짓이 하나라도 있으면 False
를 리턴any(x)
x중 하나라도 참이 있으면
True
, x가 모두 거짓이면 False
를 리턴Twins:
Quantifiers and Quantification (Stanford Encyclopedia of Philosophy)
https://plato.stanford.edu/entries/quantification/
https://plato.stanford.edu/entries/quantification/
RENAMETHISPAGE
----
- [1] https://blog.naver.com/at3650/220216723410 에서 미적분의 ε-δ 들어가기 전 사용
- [2] KU김정현 이산수학 slide file #1 p22 1.3
- [3] 수학백과: 한정사
- [4] 수학백과: 한정사
- [5] 수학백과: 한정사
- [6] 영한사전에서 all, both 등을 예시로
- [7] http://bigdata.dongguk.ac.kr/lectures/disc_math/_book/논리명제.html
- [8] https://cafe.naver.com/designeralice/11916
- [9] http://bigdata.dongguk.ac.kr/lectures/disc_math/_book/논리명제.html
- [10] kias horizon