Junktoren

Es seien A, B Aussagen.

Negation:

$\tr{\neg}\,A$

nicht A

Konjunktion:

$A\,\tb{\wedge}\,B$

A und B

Disjunktion:

$A\,\tr{\vee}\,B$

A oder B

Implikation:

$A\,\tb{\Rightarrow}\,B$

Aus A folgt B

A ist hinreichend für B

B ist notwendig für A

Äquivalenz:

$A\,\tr{\Leftrightarrow}\,B$

A ist äquivalent zu B

A gilt genau dann, wenn B gilt

A gilt dann und nur dann, wenn B gilt

A ist notwendig und hinreichend für B

Ist $(A \Rightarrow B)$ falsch, so schreibt man:

$A\,\tg{\not\Rightarrow}\,B$

Aus A folgt nicht B

Beispiele:

$\tr{A\vee B}\,\,\tg{\Leftrightarrow}\,\,\tb{B\vee A}$

A oder B gilt genau dann, wenn B oder A gilt

$\tr{(A\Rightarrow B)}\,\,\tg{\Leftrightarrow}\,\,\tb{(\neg B\Rightarrow\neg A)}$

Aus A folgt B ist aequivalent zu aus nicht B folgt nicht A