логика предикатов
Ein Teilgebiet der Logik, das die Struktur von Aussagen mithilfe von Prädikaten, Variablen und Quantoren analysiert.
Раздел логики, изучающий отношения между объектами с помощью предикатов и кванторов.
-
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.— Применение логики предикатов имеет важное значение в информатике.
Синонимы
Quantorenlogik