Negation

==> Logik

<== Abduktion

==> Prädikatenlogik

==> Aussagenlogik

<== Skopus

<== Programmiersprachen

==> Inferenzverfahren

<== Evidenztheorie

==> Wissensrepräsentation

<== Unifikationsgrammatik

<== Wahrheitsbedingungssemantik

<== Abgeschlossenheitsannahme

<== Funktionswörter