다른 가능한 pagename: 존재,existence (writing) - 저거 바꿀까?
수학/수리논리학/논리학의 existence에 대해.
exist v.
existence n.
existence n.
chk:
존재성이 있다 = 반드시/필연적으로 존재한다 vs 존재가능하다 ? 전자일듯?
존재성이 있다 = 반드시/필연적으로 존재한다 vs 존재가능하다 ? 전자일듯?
Cmp: 존재성+유일성
유일성,uniqueness (dual ?)
{
rel
식별자,identifier 식별,identification 은 uniqueness 에 관련.
}
유일성,uniqueness (dual ?)
{
rel
식별자,identifier 식별,identification 은 uniqueness 에 관련.
}
MKLINK
existential_quantifier
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 ... 양화 }
Up: quantification = logical_quantification { quantification ... 양화 }