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

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