Question

Assume the following predicate and constant symbols: 

W(x,y): x wrote y

L(x,y): x is longer than y

N(x): x is a novel

a: Amit     h: Harshal

Which of the following predicate logic formula represents the sentence:

"Harshal wrote a novel which is longer than any of the Amit's novels"

• A. $∀x∃y\left(L\left(x,y\right) → W\left(x,y\right) ∧ W\left(a,x\right)\right)$
• B. $\forall x \forall y \left(W\left(h,x\right) \wedge W\left(a,y\right) \implies L\left(x,y\right)\right)$
• C. $\exists x \forall y \left(N(x) \wedge W\left(h,x\right) \implies N\left(y\right) \wedge W\left(a,y\right) \wedge L\left(x,y\right)\right)$
• D. $\exists x  \left(N(x) \wedge W\left(h,x\right) \wedge \forall y \left( N\left(y\right) \wedge W\left(a,y\right) \implies L\left(x,y\right)\right)\right)$

Answer 1

(A) For every book if there exists a shorter book, then harshal has written the shorter one and amit the longer one.

(B) Every book written by Harshal is longer than every book written by Amit.

(C) There exists an x such that if x is a novel written by Harshal, then all novels written by Amit are shorter than x.

(D) There exists an x such that x is a novel written by Harshal and all novels written by Amit are shorter than x.

So, (D) is the answer

Comments

Suppose there is no novel at all. Even then C option is TRUE, but our given condition is not satisfied.

---

(A) For every book if there exists a shorter book, then harshal has written the shorter one and amit the longer one.

There is not Harshal in option A.

---

∀x∃y(L(x,y)→W(h,y)∧W(a,x))

it should be this in quetion.