Hey Leute,
Ich soll beweisen, dass A => B äquivalent zu ¬B => ¬A ist.
Unser Dozent ist wie folgt vorgegangen:
A => B <=> ¬A ∨ B (Ist klar, folgt per "Definition") <=> B ∨ ¬A (Ist auch klar)
<=> ¬(¬B) ∨ (¬A) <=> ¬B => ¬A
Die roten Schritte sind mir einfach nicht klar, bitte um Hilfe :-/
Viele Grüße Florian T. S.
↧
Umformung (Beweis einer Aussage):
↧