The state or condition of being complete
completeness 30초 만에
- (noun) The state or condition of being complete
- (noun) The property of a logical theory that whenever a wff is valid then it must also be a theorem. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T \vDash \phi is true, then T \vdash \phi must also be true, for any wff φ of logic L.
Meanings
-
1
noun The state or condition of being complete
-
2
noun The property of a logical theory that whenever a wff is valid then it must also be a theorem. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T \vDash \phi is true, then T \vdash \phi must also be true, for any wff φ of logic L.
동의어
completion
fulfillment
반의어
incompleteness
unfinishedness
Summary
The state or condition of being complete
- (noun) The state or condition of being complete
- (noun) The property of a logical theory that whenever a wff is valid then it must also be a theorem. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T \vDash \phi is true, then T \vdash \phi must also be true, for any wff φ of logic L.
관련 콘텐츠
도움이 되었나요?
댓글 (0)
로그인하여 댓글 달기
아직 댓글이 없습니다. 첫 번째로 생각을 공유하세요!
