Redirected from page "existence"

다른 가능한 pagename: 존재,existence (writing) - 저거로 바꿀까?

수학/수리논리학/논리학의 existence에 대해.

exist v.
existence n.

기호는 ∃ (i.e. 존재기호existential_quantifier)

backsrch 존재성,existence or

존재성

존재

existence

Existence

existence

chk:
존재성이 있다 = 반드시/필연적으로 존재한다 vs 존재가능하다 ? 전자일듯?

존재가능성은 전혀 다른 표현? ....

존재성 존재가능성

존재가능성 의 영어 표현? ...

존재가능성

별도의 단어는 없고 그냥 possibility of 붙이면 되나?

Cmp: 존재성+유일성
유일성,uniqueness (dual ?)
{
rel
식별자,identifier 식별,identification 은 uniqueness 에 관련.

//from we =

Identifier
identifier :

"a 이름,name that identifies either a unique object or a unique class of objects"
즉 식별자란, (유일한 개체 or 유일한 (개체들의) 부류)를 식별해주는 이름.
"identifier labels the identity of (that object)."
식별자는 개체의 identity(아이덴티티, 정체, ...)를 label한다. - 즉 레이블,label을 붙인다.

}

chk
존재성이 있는 게 확실하다면 그 다음에 그것의 유일성을 따짐.