Implikation

==> Proposition

<=> Bedeutungsbeziehungen, Sinnrelationen

<== Präsuppositionen

<== Diskursrepräsentationstheorie

<== Makroproposition

<== Unifikationsgrammatik

<=> Aussagenlogik

<== Modus ponens

<== Abduktion

<== Klausel

<== Künstliche Intelligenz, Geschichte der

<== Inferenzverfahren

<== Deduktion

<== Induktion