Vollständigkeit (Logik)

Der Begriff Vollständigkeit hat in der Logik verschiedene Bedeutungen. Er bezeichnet zwei unterschiedliche Eigenschaften formaler Systeme bzw. Kalküle:

• Vollständigkeit von Theorien
• Vollständigkeit von Kalkülen

Daneben wird dieser Begriff auch im Sinne der

• funktionalen Vollständigkeit von Junktorenmengen

benutzt.

Copyright- und Lizenzinformationen: Diese Seite basiert auf dem Artikel Vollständigkeit (Logik) aus der freien Enzyklοpädιe Wιkιpedιa und steht unter der Lizenz Creative Commons CC-BY-SA 3.0 Unported (Kurzfassung). Liste der Autoren

Anbieterkennzeichnung