Allquantor

<=> Prädikatenlogik

<=> Existenzquantor

<== Quantor

==> Kalkül

<== Skopus

<== Inferenzverfahren

<== Verallgemeinerung

==> Semantik