Elementare Aussagenlogik

Was ist eine logische Aussage?

Ein Ausdruck, von dem eindeutig bestimmt ist, ob es wahr oder falsch ist. Bespiele für Aussagen sind z.B. „A ist der erste Buchstabe im lateinischen Buchstaben“

Nenne 9 elementare logische Umformungen

wie beweißt man… ?

• A geschnitten m B

• A oder B

• A impliziert B

• A äquivalent zu B

• nicht A

• beweist A und dann B (Reihenfolge egal)

• beweist A oder B

• man nimmt an, dass A wahr ist und beweist B und darf dabei B verwenden

• Beweist, dass A B impliziert und umgekehrt

• Man nimmt an, dass A wahr ist und konstruiert einen Widerspruch

-

-