Frage zur doppelten Negierung bei ¬(¬B) ∨ (¬A) <=> ¬B => ¬A.

Question

ich habe in Erinnerung, dass aus ¬(¬A) dann A folgt. Unser Professor hat eine
Umformung gemacht, dass man von A => B <=> (¬B => ¬A) kommt.
Es wurde folgender Schritt gemacht: ¬(¬B) ∨ (¬A) <=> ¬B => ¬A.

Ich verstehe einfach noch immer nicht, wieso aus ¬(¬B) dann ¬B folgt.

Florian T. S.

Answer 1

vermutlich kennst du die Äquivalenz

¬X ∨ Y <=>  X => Y

sonst könntest du diese notfalls per

Wahrheitstafel beweisen.

Setze jetzt  X  = ¬B  und Y = ¬A

dann hast du

¬(¬B) ∨ (¬A) <=> ¬B => ¬A