808 views
3 votes
3 votes

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"

  1. $∀x∃y\left(L\left(x,y\right) → W\left(x,y\right) ∧ W\left(a,x\right)\right)$
  2. $\forall x \forall y \left(W\left(h,x\right) \wedge W\left(a,y\right) \implies L\left(x,y\right)\right)$
  3. $\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)$
  4. $\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)$

1 Answer

Best answer
5 votes
5 votes
(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
selected by

Related questions

4 votes
4 votes
2 answers
1
GateMaster Prime asked Dec 28, 2014
1,235 views
A). ∀(x) [ girl(x) - ∃ (y) [ boy(y) Λ likes(y,x) ] ]B). ∀(x) [ girl(x) Λ ∃ (y) [ boy(y) - likes(y,x) ]C) ∀(x) [ girl(x) - ∃ (y) [ boy(y) - likes(y,x) ] ]D)...