Umwandlung von Sprache in Prädikatenlogik

Question

Zu jedem Kaninchen welches grauhaarig und gut gefüttert ist gibt es einen Menschen der kein Vegetarier ist und dieses essen möchte.

Umwandlung in logischen Ausdruck?

Answer 1

∀ k  k=grau und k=gutgefütter ∃ m∉ V   m will k essen

Comments

Ohne gegebene Interpretation und ohne zu wissen, ob "∃ m∉ V " akzeptiert wird, lässt sich das schwer formulieren, aber 

∀ k  k=grau       ist wohl in jedem Fall nicht brauchbar 

---

ist wahr, Eigenschaften sind ja Mengen, also

vielleicht eher so  k ∈  ( grau  ∩ gutgefüttert)