Aufgabe:
Negation folgender Aussage:
∀x : (x ist ein Mensch ⟹(∃y : (y ist ein Mensch ∧y liebt x)))
wird zu:
¬(∀x : (x ist ein Mensch ⟹(∃y : (y ist ein Mensch ∧y liebt x))))
∀x:(x ist ein Mensch∧(∀y:¬(y ist ein Mensch)∨¬(y liebt x)))
oder besser:
∀x∀y:(x ist ein Mensch∧(¬(y ist ein Mensch)∨¬(y liebt x)))
oder:
∀x∀y:((x ist ein Mensch∧¬(y ist ein Mensch))∨(x ist ein Mensch∧¬(y liebt x)))
geht das so?