다른 가능한 pagename: 존재,existence (writing) - 저거로 바꿀까?
수학/수리논리학/논리학의 existence에 대해.
exist v.
existence n.
existence n.
양화사 quantifier 기호는 ∃ (i.e. 존재기호existential_quantifier)
chk:
존재성이 있다 = 반드시/필연적으로 존재한다 vs 존재가능하다 ? 전자일듯?
존재성이 있다 = 반드시/필연적으로 존재한다 vs 존재가능하다 ? 전자일듯?
existence theorem ¶
Misc
수학에서 말하는 존재성은 물리에서 말하는 존재성과 그 뜻이 전혀 다르다.[1]
MKLINK
existential_quantifier
extinction / erasure / deletion / ....
curr at 존재기호existential_quantifier
Cmp: universal_quantifier - curr at 전칭기호universal_quantifier
Up: quantifier = logical_quantifier - curr at 한정기호_정량자_quantifier,양화사quantifier(redir page)
existential_quantificationCmp: universal_quantifier - curr at 전칭기호universal_quantifier
Up: quantifier = logical_quantifier - curr at 한정기호_정량자_quantifier,
Cmp: universal_quantification - not in RR
Up: quantification = logical_quantification { quantification ... 양화 }
존재를 없애는(removal)관련:Up: quantification = logical_quantification { quantification ... 양화 }
extinction / erasure / deletion / ....
----
- [1] (실수든 허수든,) "따지고 보면 모든 수는 상상의 산물이지 구체적으로 존재하는 그 무엇은 아니지 않은가." 박부성, https://terms.naver.com/entry.naver?docId=3570142&cid=58944&categoryId=58970