• Startseite
• Inhalt
• Index

Umformungsregeln zu Negation

Form der Negation

nicht nicht-A

nicht A oder nicht B

nicht A und nicht B

obwohl A gilt nicht B

genau dann A wenn nicht B

entweder A oder B, aber nicht beides

es gibt ein x mit nicht A(x)

es gibt ein x in M mit nicht A(x)

für alle x ist nicht A(x)

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

Für jedes x gilt: x hat nicht die Eigenschaft A(x) oder es gibt ein von x verschiedenes y mit der Eigenschaft A(x)

Es gibt kein oder mindestens zwei x mit A(x)