Abduktion

==> Logik

==> Modelltheorie

==> Negation

==> Prädikatenlogik

==> Modus ponens

==> korrekt, Korrektheit

<=> Inferenzverfahren

<== Inferenz

<=> Deduktion

<== Induktion

<== Lernen, maschinelles

==> Wissensbasis

==> Rückwärtsverkettung

<== Problemlösen

<== Denken

==> Formel

==> Axiom

==> Implikation