logique des prédicats
Ein Teilgebiet der Logik, das die Struktur von Aussagen mithilfe von Prädikaten, Variablen und Quantoren analysiert.
Une branche de la logique qui analyse la structure des énoncés au moyen de prédicats, de variables et de quantificateurs.
-
Die Prädikatenlogik ist komplexer als die Aussagenlogik.
-
In der Vorlesung untersuchen wir die Grundlagen der Prädikatenlogik.
-
Die Anwendung der Prädikatenlogik ist in der Informatik essenziell.