Aussagenlogik

07 Spaces/work & education/2 Areas/MINTgrün/25-SoSe/Analysis I und Lineare Algebra für Ingenieurwissenschaften/synthesis notes/01/Aussagenlogik

#Definition Aussage: Eine Aussage ist ein Satz, dem entweder der Wahrheitswert falsch (f) oder richtig (r) zugeordnet werden kann.

#Defintion Negation: Die Negation der Aussage A ist "nicht A" bzw. ¬A

Aus "es gibt" wird "für alle" und umgekehrt.n

Wahrheitstafeln für Aussagen:

A ¬A
w f
f w

Konjunktion:"A und B" bzw. AB

A B AB
w w w
w f f
f w f
f f f
Disjunktion:"A oder B" bzw. AB:
A B AB
w w w
w f w
f w w
f f f
Implikation: Aus A folgt B
A B AB
w w w
w f f
f w w
f f w
Äquivalenz: AB
A B AB
w w w
w f f
f w f
f f w

Beweistechniken:

  1. #Definition Direkter Beweis: wenn AB gilt, dann kann man A beweisen. Damit ist dann B bewiesen
  2. #Definition Beweis per Kontraposition: wenn AB gilt, dann gilt auch ¬B¬A
  3. #Definition Beweis per Widerspruch: Man nimmt das Gegenteil der zu beweisenden Aussage an und zeigt, dass daraus ein Widerspruch folgt – also muss die ursprüngliche Aussage wahr sein.