Formalisieren Sie die Aussagen zu Eisbären in Prädikatenlogik

Question

Hallo mathelounger,

Kennt sich denn jemand mit sowas aus?

Answer 1

1)  ∀x: ( E(x) ∧ ∃y: ( M(y) ∧ m(x,y) ) ) → H(x)

2)  ∀x: ( E(x) ∧ H(x) ) → ∀y: ( E(y) → ¬(m(x,y) )

3)  ∀x,y: ( E(x) ∧ E(y) ∧ m(x,y) ∧ m(y,x) ) → ( ¬H(x) ∧ ¬H(y) )

Gruß Wolfgang

Answer 2

1. ∀a (E(a)→((∃b (M(b) ∧ m(a,b)))  → H(a)))