Question

Verneinen Sie die folgenden Aussagen:
1. \( \forall x \in G:(A(x) \Longrightarrow B(x)) \)
2. \( \exists x \in G:(\forall y \in H: A(x, y) \vee(\exists y \in H: \neg B(x, y))) \)

Answer 1

Zu 1) ∃x∈G: A(x) daraus folgt nicht B(x)