Prädikate:
k(x): x ist ein kaninchen
h(x): x ist ein Hund
b(x): x beißt
j(x,y) x jagt y
EsgibtHunde,diekeineKaninchenjagen.
∀x∀y(h(x)∧k(y))→∃x¬∃y(h(x)∧j(x,y))
NurHundejagenKaninchen.∀x∀y(h(x)∨k(x))∧∀yk(y))→(h(x)∧j(x,y))
HundedieKaninchenjagenbeißennicht.∀xy(h(x)∧k(y))→(j(x,y)∧¬b(x))
ist das richtig so? bin mir unsicher :/ danke für eine antwort!