Prädikatenlogik

<== Logik

<=> Allquantor

<=> Existenzquantor

<== Klausel

<== Quantifikation

<=> Resolution

<== Skolemisierung

<== Abduktion

<== Modallogik

<== Logik, temporale

<== Modelltheorie

<== Negation

==> Wahrheitswert

==> Kalkül

==> Aussagenlogik

<== Instantiierung

<== korrekt, Korrektheit

<== Sortenlogik

<== Programmiersprachen

<== Logikprogrammierung

<== Klauselgrammatik, definite

==> Künstliche Intelligenz, KI

<== Künstliche Intelligenz, Geschichte der

<== Inferenzverfahren

<== Circumscription

<== Induktion

<== Planen

<== Lernen, maschinelles

<== Wissen und Wissensrepräsentation

<== Graph, konzeptueller

<== Logiken, terminologische

<== Alltagsschließen

<== Prädikat

<== Makroproposition

<== Computerlinguistik

<== Ausdrucksvermögen, Ausdrucksstärke

<== Formel

<== Disjunktion

<== Merkmale, grammatische

<=> Term

<== Bindung

<== Diskursrepräsentationstheorie

<== Sprachphilosophie, analytische