Définitions de „Prädikatenlogik“ dans le Orthographe allemande

die Prä·di·ka̱·ten·lo̱·gik <->

Phrases d'exemples tirées d'Internet (non-vérifiées par l'équipe de rédaction)

allemand

Die logischen Eigenschaften der Existenzaussagen werden modern in der Prädikatenlogik und wurden traditionell als partikulär bejahende und verneinende Urteile in der Syllogistik behandelt.

de.wikipedia.org

Als Anwendung zeigen wir, wie aus dem Satz von Trachtenbrot die Unvollständigkeit der Prädikatenlogik zweiter Stufe folgt.

de.wikipedia.org

Werden Terme als Argumente in die Relationssymbole eingesetzt, entstehen atomare Aussagen der Prädikatenlogik.

de.wikipedia.org

Das entstehende System heißt Prädikatenlogik der ersten Stufe mit Identität.

de.wikipedia.org

Eine Form der Wissensrepräsentation kann mit einer Sammlung von Ausdrücken in Prädikatenlogik erfolgen.

de.wikipedia.org

Sie enthält Erweiterungen für Modallogik und Prädikatenlogik höherer Stufe.

de.wikipedia.org

In der klassischen Prädikatenlogik sind daher alle atomaren, allquantifizierten Aussagen wahr, wenn das Diskursuniversum leer ist.

de.wikipedia.org

Für einige Anwendungszwecke ist monadische Prädikatenlogik ausreichend; zudem lässt sich die gesamte traditionelle Begriffslogik, namentlich die Syllogistik, in monadischer Prädikatenlogik ausdrücken.

de.wikipedia.org

In der Prädikatenlogik ergibt sich der Wahrheitswert einer Aussage aufgrund der Interpretation der in ihr enthaltenen Symbole.

de.wikipedia.org

Die Prädikatenlogik zweiter Stufe ist ein Teilgebiet der mathematischen Logik.

de.wikipedia.org