Existenzquantor

<=> Prädikatenlogik

<=> Allquantor

<== Quantor

==> Kalkül

<== Skopus

==> Mnemotechniken

==> Semantik