Hallo,

ich weiß nicht so recht, wie ich diese Äquivalenz beweisen kann. Wäre toll, wenn mir jemand dabei weiterhelfen könnte:) 

LG

Seien A(x), B(x) Aussageformen in der Variablen x.

Zeigen Sie ∃x : A(x) ⇒ B(x) ≡ (∀x : A(x)) ⇒  (∃x : B(x))