Übersicht mathematische Logik

nicht A

A und B

A oder B

Wenn A dann B

Aus A folgt B

A impliziert B

A ist hinreichend für B

B dann, wenn A

B ist notwendig für A

Genau dann A, wenn B

Dann und nur dann A, wenn B

A ist gleichwertig mit B

A ist äquivalent zu B

A ist notwendig und hinreichend für B

Für alle x ist A(x)

Jedes x erfüllt A30

Es ist A(x) für alle x

Für alle x aus M ist A(x)

Jedes x der Menge M erfüllt A(x)

Es ist A(x) für alle x in M

Es ist ein x mit A(x)

Es existiert ein x, so dass A(x) gilt

Für mindestens ein x gilt A(x)

Es gibt ein x aus M mit A(x)

Für mindestens ein x in M gilt A(x)

Es ist genau ein x mit A(x)

Es existiert genau ein x, so dass A(x) gilt

Für genau ein x gilt A(x)

Es gibt genau ein x aus M mit A(x)

Für genau ein x in M gilt A(x)