Formel

==> Sprache, formale

<=> Axiom

<== Disjunktion

<== Termersetzungssystem

<== Universum

==> Semantik, formale

==> Aussagenlogik

<== Instantiierung

<== korrekt, Korrektheit

<== Abduktion

==> Modallogik

==> Modelltheorie

==> Prädikatenlogik

<== Klausel

==> Wahrheitswert

==> Theorem

<== Circumscription

<== Deduktion

<== Induktion