Logikverknüpfungen

$\mathrm{A}\wedge \mathrm{B}$

$A$ und $B$

Es gilt sowohl Aussage $A$, als auch Aussage $B$.

$\mathrm{A}\vee \mathrm{B}$

$A$ oder $B$

Es gilt entweder Aussage $A$ oder Aussage $B$, oder eben beide.

$\mathrm{A}\dot{\vee }\mathrm{B}$

Entweder $A$ oder $B$

Es gilt entweder Aussage $A$ oder Aussage $B$, nicht beide.

$\neg \mathrm{A}\mathrm{oder}\overline{\mathrm{A}}$

Nicht $A$ oder die Negation von $A$

Das Gegenteil von $A$.

$\mathrm{A}\Rightarrow \mathrm{B}$

$A$ impliziert $B$

Wenn $A$ wahr ist, folgt die Aussage $B$.