Logische Zeichen

$\wedge$

Konjunktion

$\&$

Konjunktion

$\vee$

Disjunktion

$\rightarrow$

Konditional

$\supset$

Konditional

$\leftrightarrow$

Bikonditional

$\equiv$

Bikonditional

$\neg$

Negation

$\sim$

Negation

$\bigwedge$

Allquantor

$\forall$

Allquantor

$\bigvee$

Existenzquantor

$\exists$

Existenzquantor