Formalisierung von Aussagen

Question

Aufgabe:

Formalisierung von Aussagen in Prädikatenlogische Formeln mit jeweils eine Allquantor.

Problem/Ansatz:

Seien A,B Mengen und R Teilnehmenge A x B

(a) Der Schnitt von A und B ist leer

(b) Die Funktion f: R—> R hat genau eine Nullstelle

Answer 1

Der Schnitt von A und B ist leer:  ∀x (x∉A) v (x∉B)

Nullstelle ?  Dazu wäre zu wissen, was die Null in AxB ist .

Dann ist es wohl so:

∃x∈R f(x)=0  ∀y∈R f(y)=0 ==>  y=x.