Logik nullter Ordnung - Zeroth-order logic
Nullten Ordnung Logik ist Logik erster Ordnung ohne Variablen oder quantifiers . Einige Autoren verwenden den Ausdruck "Logik nullter Ordnung" als Synonym für die Aussagenrechnung , aber eine alternative Definition erweitert die Aussagenlogik durch Hinzufügen von Konstanten, Operationen und Beziehungen zu nicht-booleschen Werten. Jede Sprache nullter Ordnung in diesem weiteren Sinne ist vollständig und kompakt .