Difference between r1.11 and the current
@@ -5,7 +5,7 @@
exist v.
existence n.
----
backsrch [[존재성,existence]] or
existence n.
기호는 ∃ (i.e. [[존재기호existential_quantifier]])
양화사 quantifier 기호는 ∃ (i.e. [[존재기호existential_quantifier]])
----
backsrch [[존재성,existence]] or
@@ -30,6 +30,13 @@
Cmp: 존재성+유일성
[[유일성,uniqueness]] (dual ?)
{
rel
[[식별자,identifier]] [[식별,identification]] 은 uniqueness 에 관련.
//from we = WpEn:Identifier
[[유일성,uniqueness]] (dual ?)
{
내생각에 다른 가능한번역들 (DELOK)
* 단일성 ?? 글쎄 Ggl:단일성 NN:단일성 보면 이건 '다른 게 섞이지 않은 순수한 단일성분으로만 이루어진...' 이런것도 나오긴 함
CMP [[존재성,existence]]
cmp [[unity]] [[단위,unit]] [[하나,one]] [[유니터리,unitary]] ( [[유니터리성,unitarity]] and/or [[유니터리성,unitariness]] ) ....
[[식별자,identifier]] [[식별,identification]] 은 uniqueness 에 관련.
//from we = WpEn:Identifier
@@ -73,6 +80,9 @@
Cmp: [[universal_quantification]] - not in RR
Up: [[quantification]] = logical_quantification { Srch:quantification ... WpKo:양화 }
----
... Ndict:존재성+existence Google:존재성+existence
Up: [[quantification]] = logical_quantification { Srch:quantification ... WpKo:양화 }
존재를 없애는(removal)관련:
[[extinction]] / erasure / deletion / ....
... Ndict:존재성+existence Google:존재성+existence
다른 가능한 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