die Prädikatenlogik

Meanings

1. 1.

   System zur Darstellung von Aussagen, welches auf Prädikaten und Quantoren aufbaut; die generellen Termini einer Aussage werden in der Prädikatenlogik durch Variablen ersetzt und formalisiert

   • “„Da es sich hierbei um Beziehungszahlen handelt, reicht die bisherige Prädikatenlogik zu ihrer Definition nicht aus.“”
   • “„Ansonsten ist das Büchlein allgemeinverständlich und es erklärt – was die beiden anderen erwähnten Bücher versäumen – viel von dem, was hinter der Programmsprache steht, zum Beispiel die Prädikatenlogik oder die Beziehungen zwischen PROLOG und anderen logischen Programmiersprachen.“”

   Englishpredicate logic

   Españollógica de predicados

   Françaislogique des prédicats

   Italianologica dei predicati

   Portuguêslógica de predicados

   Русскийпредикатная логика

   Türkçepredikat mantığı

   Українськалогіка предикатів

   Ελληνικάπροτασιακή λογική

   Tiếng Việtlogic của các định đề

   العربيةمنطق المتغيرات