universal_statement in RRWiki

universal statement

universal 번역확정안됨...

QQQ universal(adj.)는
물리학,physics 천문학,astronomy 말고
수학 / 논리학 (mathematical_logic) / type_theory / 집합론,set_theory / 범주론,category_theory 의 universe(n.) - rel. universe_of_discourse

=,universe_of_discourse . universe_of_discourse { universe of discourse (foldoc:) ontology 에서, 어떤 declarative_language (선언적언어?) (선언형언어? 선언언어?) 또는 다른 형식체계,formal_system로 표현,representation될 수 있는 모든 entities - entity{ } 들의 집합,set을 뜻한다. 각 entity는 이름,name으로 표현되며 그것의 뜻을 사람이 읽을 수 있게 설명한 서술,description을 가질 수도 있다. 형식적 공리,axioms들이 constrain the 해석,interpretation and well-formed use(well-formed_use ? well-formed_usage ? ..

well-formed use ) of these names. ----

universe of discourse = https://foldoc.org/universe of discourse ...

universe of discourse

universe of discourse universe+of+discourse } 과 관련?

universal 번역 후보
전칭
전체 // 집합론,set_theory의 universal_set 번역의 대세는 '전체집합,universal_set'

... 그러고보니 전체- 는 total-의 번역과 겹치는 표현.

// kms universal => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=universal

보면 '보편-'이 대세인 듯. 기타 드물게
범-
전체-
총체적-

// MOVETO 스테이트먼트,statement
statement 번역 후보
진술 // 이유: 진술,statement
문장 (cf. 문장,sentence 페이지 존재)
...
// kms statement => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=statement

명제 or 문장 ... ? 왠지 proposition 명제proposition

proposition과 겹치지 않는 단어로 번역하고 싶은데

statement

Sub:

universal_conditional_statement

universal 조건문/조건문장/조건진술

"Remember conditional_statements? A universal conditional statement is simply a universal_statement with a 조건,condition" ... via https://www.csm.ornl.gov/~sheldon/ds/sec1.6.html

Rel.
Up: 진술,statement
universal_quantifier

mentioned on 전칭기호universal_quantifier
universal statement = "for all" statement ?

universal_quantification

...

universal statement

universal statement
하니까 math/logic 밖의 것이 많이 나와서
...

universal statement in math
...

universal statement in logic
하니 제대로 나온다. 찾은건
https://proofwiki.org/wiki/Definition:Universal_Statement
{
universal statement

universal_statement
∀x : P(x)
에서,
∀ : universal_quantifier
P : predicate_symbol

bound_variable과의 관계
universal_statement ∀x : P(x) 에서, 심벌,symbol x는 bound_variable.
그래서 x는 x가 다른 symbol로 바뀌어도 저 statement의 meaning은 바뀌지 않는다.
다시 말해 저 statement는 ∀y : P(y) 그리고 ∀z : P(z) ... 와 완전히 같은 것이다.

비교: existential_statement
}

universal_statement

Up:
유니버설,universal
스테이트먼트,statement

RENAMETHISPAGE