completeness

/kəmˈpliːt/

danh từ

Danh từ

Trạng thái hoặc điều kiện hoàn thành.
The state or condition of being complete.
Từ đồng nghĩa:completionfulfillment
(logic) Thuộc tính của một lý thuyết logic là bất cứ khi nào một wff hợp lệ thì nó cũng phải là một định lý. Nói một cách tượng trưng, để T biểu thị một lý thuyết trong logic L, điều này có thể được biểu diễn dưới dạng thuộc tính mà bất cứ khi nào T⊨ϕ đúng thì T⊢ϕ cũng phải đúng, với bất kỳ wff φ nào của logic L.
(logic) 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⊨ϕ is true, then T⊢ϕ must also be true, for any wff φ of logic L.
Từ đồng nghĩa:completionfulfillment

🔗 Tra thêm tại

🎬 Nghe “completeness” trong video thậtNgười bản xứ phát âm — có phụ đề, chọn giọng US/UK/AUS và chỉnh tốc độ

YouGlish