Formeln

Question 1

∀x (p(x) ∧ q(x)) → p(q(x))

Answer 1

kein PL1

Question 2

(∀x p(x)) → (∀x p(f(x)))

Answer 2

allgemeingultig

Question 3

∀x ∃y y = f(x)

Answer 3

allgemeingultig

Question 4

(∀x p(f(x))) → (∀x p(x))

Answer 4

erfullbar

Question 5

∀x (f(g(x)) = x) → ∀y ∀z (g(y) = g(z) → y = z)

Answer 5

allgemeingultig