Hi mathelounge,
ich soll folgende Aussage verneinen und anschließend vereinfachen:
∃xϵX : [a(x)⇒(∃yϵX : b(y))]
Daraus hab ich erstmal das hier gemacht:
∀xϵX : ¬[a(x)⇒∃yϵX : b(y))]
und es dann "vereinfacht":
∀xϵX∃yϵX : ¬[a(x)⇒b(y))]
bzw:
∀xϵX∃yϵX : a(x)∧¬b(y)
Ist das so richtig? :S Hab ich es richtig "verneint" und vorallem richtig vereinfacht?