Negation von Aussagen und de morgan

Question

Aufgabe: bilden sie die Negation von ∀y ∃x mit x|y

Problem/Ansatz:

… was ist dieses | ? Was hat das zu bedeuten?

Danke in voraus

Answer 1

| = ist Teiler von /teilt → x ist Teiler von y

Negation: Es gibt ein y für das kein x existiert, das y teilt.

Comments

Okay dankeeee.. aber wie schreibt man das dann in Formel?

Und was ist wenn dann steht ∃x∀y mit x|y?

Auch hier muss die Aussage negiert werden.. ich verstehe es irgendwie nicht..

Vielen vielen dank

Answer 2

∀y ∃x mit x|y

Negation zu ∀y: ∃y         Negation zu ∃x:  ∀x    Negation |:  ∤  (teilt nicht)

also:  ∃y ∀x mit   x ∤  y