Aussage
Wahrheitstabelle
Negation
UND-Verknüpfung
ODER-Verknüpfung
XOR-Verknüpfung
Aussageform
All-Aussage
All-Quantor
Existenz-Aussage
Existenz-Quantor
Implikation
Äquivalenz
Notwendig/Hinreichend