Disjunktion

==> Formel

<== Unifikationsgrammatik

<== Merkmalsstrukturen

<== Phrasenstrukturgrammatik, kopfgesteuerte

<== Wahrheitsbedingungssemantik

==> Semantik

==> Aussagenlogik

<== Konnektionsmethode

==> Prädikatenlogik

<== Klausel

<== Evidenztheorie