Take the following statement in natural language:

Every hinny is the offspring of a male horse and of a female donkey.

(Jeder Maulesel ist der Nachkomme eines männlichen Pferdes und eines weiblichen Esels.)

Which of the following formulas in first-order logic formalizes this statement correctly?

Question

Take the following statement in natural language: 
 
 Every hinny is the offspring of a male horse and of a female donkey. 
 
 (Jeder Maulesel ist der Nachkomme eines männlichen Pferdes und eines weiblichen Esels.) 
 
 Which of the following formulas in first-order logic formalizes this statement correctly?

Answer

∀x: isHinny(x) → (∃y: isOffspringOf(x,y) ∧ isMale(y) ∧ isDonkey(y)) ∧ (∃z: isOffspringOf(x,z) ∧ isFemale(z) ∧ isHorse(z))

Answer

∀x,y,z: isHinny(x) → isOffspringOf(x,y) ∧ isMale(y) ∧ isHorse(y) ∧ isOffspringOf(x,z) ∧ isFemale(z) ∧ isDonkey(z)

Answer

∃x: isHinny(x) ∧ (∀y: isOffspringOf(x,y) → isMale(y) ∧ isHorse(y)) ∧ (∀z: isOffspringOf(x,z) → isFemale(z) ∧ isDonkey(z))

Answer

∀x: isHinny(x) → (∃y,z: isOffspringOf(x,y) ∧ isMale(y) ∧ isHorse(y) ∧ isOffspringOf(y,z) ∧ isFemale(z) ∧ isDonkey(z))

Answer

∀x: isHinny(x) ∧ (∃y: isOffspringOf(x,y) ∧ isMale(y) ∧ isHorse(y))  → (∃z: isOffspringOf(x,z) ∧ isFemale(z) ∧ isDonkey(z))

Answer

∀x: isHinny(x) → (∃y: isOffspringOf(x,y) → isMale(y) ∧ isHorse(y)) ∧ (∃z: isOffspringOf(x,z) → isFemale(z) ∧ isDonkey(z))

Answer

None

Answer

∀x: isHinny(x) → (∃y: isOffspringOf(x,y) ∧ isMale(y) ∧ isHorse(y) ∧ isOffspringOf(x,y) ∧ isFemale(y) ∧ isDonkey(y))

Answer

∀x: isHinny(x) → (∃y: isOffspringOf(x,y) ∧ isMale(y) ∧ isHorse(y)) ∧ (∃z: isOffspringOf(x,z) ∧ isFemale(z) ∧ isDonkey(z))

Answer

∀x: isHinny(x) → (∃y: isOffspringOf(x,y) ∧ isMale(x) ∧ isHorse(x)) ∧ (∃z: isOffspringOf(x,z) ∧ isFemale(x) ∧ isDonkey(x))

Crowdly

Take the following statement in natural language: Every hinny is the offspri...

Want instant access to all verified answers on moodle.jku.at?