Vollständigkeitdie

[ˈfɔlˌʃtɛndɪçkaɪ̯t]Danh từ

Định nghĩa

tính đầy đủ- Trạng thái trong đó tất cả các phần đều hiện diện và không thiếu phần nào.

Der Zustand, dass alle Teile vorhanden sind und keines fehlt.

In der Logik ist die Eigenschaft der Vollständigkeit eines logischen Systems gegeben, wenn sich mit den Operatoren (aussagenlogischen Grundfunktionen) des Systems jede beliebige aussagenlogische Funktion definieren läßt.

Trong lôgic học, tính chất đầy đủ của một hệ thống lôgic được xác lập khi với các toán tử (những hàm cơ bản của lôgic mệnh đề) của hệ thống, người ta có thể định nghĩa bất kỳ hàm lôgic mệnh đề nào.

Từ đồng nghĩa

Vollzähligkeit

Từ trái nghĩa

Unvollständigkeit