The state or condition of being complete
completeness در ۳۰ ثانیه
- (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)
برای نظر دادن وارد شوید
هنوز نظری وجود ندارد. اولین نفری باشید که افکار خود را به اشتراک میگذارد!
