universal statement
universal 번역확정안됨...
QQQ universal(adj.)는
물리학,physics 천문학,astronomy 말고
수학 / 논리학 (mathematical_logic) / type_theory / 집합론,set_theory / 범주론,category_theory 의 universe(n.) - rel. universe_of_discourse
전칭
전체 // 집합론,set_theory의 universal_set 번역의 대세는 '전체집합,universal_set'
statement 번역 후보
진술 // 이유: 진술,statement
문장 (cf. 문장,sentence 페이지 존재)
...
// kms statement => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=statement
statement
물리학,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
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
"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
... universal statement universal statement
하니까 math/logic 밖의 것이 많이 나와서
... universal statement in math
... universal statement in logic
하니 제대로 나온다. 찾은건
https://proofwiki.org/wiki/Definition:Universal_Statement
{
universal statement
하니까 math/logic 밖의 것이 많이 나와서
... universal statement in math
... universal statement in logic
하니 제대로 나온다. 찾은건
https://proofwiki.org/wiki/Definition:Universal_Statement
{
universal statement
bound_variable과의 관계
universal_statement ∀x : P(x) 에서, 심벌,symbol x는 bound_variable.
그래서 x는 x가 다른 symbol로 바뀌어도 저 statement의 meaning은 바뀌지 않는다.
다시 말해 저 statement는 ∀y : P(y) 그리고 ∀z : P(z) ... 와 완전히 같은 것이다.
universal_statement ∀x : P(x) 에서, 심벌,symbol x는 bound_variable.
그래서 x는 x가 다른 symbol로 바뀌어도 저 statement의 meaning은 바뀌지 않는다.
다시 말해 저 statement는 ∀y : P(y) 그리고 ∀z : P(z) ... 와 완전히 같은 것이다.
RENAMETHISPAGE