Deduktion

<=> Inferenz

<=> Induktion

==> vollständig, Vollständigkeit

<=> Monotonie

==> Logikprogrammierung

==> Negation as failure

==> Künstliche Intelligenz, KI

<=> Beweisen, automatisches

<== System, formales

==> Kalkül

==> Inferenzregel

==> Modus ponens

==> Instantiierung

==> korrekt, Korrektheit

==> Logik

<=> Abduktion

<== Beweis

<== Logizismus

==> Resolution

==> Theorem

<== Inferenzverfahren

<== Planen

==> System, wissensbasiertes

==> Wissensbasis

<== Lernen

<== Kognition

<== Analogie

==> Unifikation

<== General Problem Solver (GPS)

<== Denken

==> Formel

<=> Axiom

<=> Ableitung

==> Term

==> Implikation

==> Semantik

==> Standardannahme