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))) \)
Zu 1) ∃x∈G: A(x) daraus folgt nicht B(x)
