Hallo, ich brauche Hilfe beim Widerspruchsbeweis von \(\forall x\ (\operatorname{prim}(x)\to x=2\vee \neg \operatorname{teilt}(2, x))\) ?
Ich habe die Aussage zuerst negiert und dabei das erhalten:
\(\exists x (prim(x)\wedge \neg (x=2)\wedge(teilt(2,x)) \)
jetzt weiß ich nicht mehr weiter. Ich muss doch mithilfe von Äquivalenzumformungen eine falsche Aussage bekommen. Ich weiß leider nicht, wie ich das hinbekommen soll.
