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. A∩B

A B A∩B
w w w
w f f
f w f
f f f
Disjunktion:"A oder B" bzw. A∪B:
A B A∪B
w w w
w f w
f w w
f f f
Implikation: Aus A folgt B
A B A⟹B
w w w
w f f
f w w
f f w
Äquivalenz: A⟺B
A B A⇔B
w w w
w f f
f w f
f f w

Beweistechniken:

  1. #Definition Direkter Beweis: wenn A⟹B gilt, dann kann man A beweisen. Damit ist dann B bewiesen
  2. #Definition Beweis per Kontraposition: wenn A⟹B 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.