soundness 뜻
EN뜻건전성 위건전성 정리
- 건전성 정리(soundness theorem, 健全性定理)는 일차 논리학에서 연역 계산이 건전성을 가진다는 내용의 정리이다. 여기서 건전성이란, '모든 참인 것으로 증명가능한 명제(즉 정리)가 의미론상으로도 참임'을 의미한다.
- 명사 (Noun)PLsoundnessesSUF-ness
- (uncountable) The state or quality of being sound.
- (countable) The result or product of being sound.
- (logic) The property (of an argument) of not only being valid, but also of having true premises.
- (logic) The property of a logical theory that whenever a wff is a theorem then it must also be valid. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever is true, then must also be true, for any wff φ of logic L.
- (uncountable) The state or quality of being sound.
- 더 많은 예제
- 문장 중간에 사용됨
- to test the soundness of a principle; to test the validity of an argument
- 문장 중간에 사용됨
Definition of soundness in English Dictionary
- 품사 계층 (Part-of-Speech Hierarchy)
- 형태소
- 접미사
- 접미사로 단어
- Words suffixed with -ness
- Words suffixed with -ness
- 형용사와 명사에서 명사를 형성 접미사
- Words suffixed with -ness
- Words suffixed with -ness
- 접미사로 단어
- 접미사
- 명사
- 셀 수 있는 명사
- 단수로만 사용하는 명사
- 셀 수없는 명사
- 셀 수없는 명사
- 셀 수 있는 명사
- 형태소
- en soundnesses
출처: 위키낱말사전