Mengen. Aussagenlogik. Was bedeutet (A=>B) <=> (B oder nicht A)

Question

(A=>B) <=>  (B  oder nicht A) ; was bedeutet das? Antwort wäre nett,mfg

Answer 1

Hallo die Aussage $$ A \Rightarrow B $$ ist logisch gleichwertig zu der Aussage $$ B \lor \neg A$$ Das kannst du anhnad einer Wahrheitstafel beweisen.

A | B | ¬A  | A⇒B | B∨¬A

w  w     f          w         w

w   f      f          f           f

f    w    w         w         w

f     f     w         w         w

Weil beide Spalten übereinstimmen, sind beide Aussagen daher äquivalent zueinander, also logisch gleichwertig.