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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.