Option A Explanation:
The formula $\forall x \exists y (L(x,y) \rightarrow W(h,y) \wedge W(a,x))$
- literally says 'For all novels $x,$ there is some novel $y$ such that: if $x$ is longer than $y,$ then Hardy wrote novel $y$ and Austen wrote novel $x'.$
- This sentence is rather "mathematical" and does not really have a more elegant alternative of stating it.
Not only does this sentence not say what we want, but it is false even if hardy wrote some novel longer than all of austen’s novels, if, say, jerry wrote a novel longer than all other novels.
Option B Explanation:
The formula $\forall x \forall y (W(h,x) \wedge W(a,y) \rightarrow L(x,y)))$
- literally says 'For all novel $x$ and all novel $y,$ if Hardy wrote $x$ and Austen wrote $y,$ then $x$ is longer than $y'.$
- This sentence can be re-expressed more elegantly as 'All of Hardy's novels are longer than any of Austen's'.
Although this sentence comes close to expressing what we want, it claims that the desired property holds for all novels that Hardy wrote, not just for at least one of them!
Option C Explanation:
The formula $\exists x (W(h,x) \wedge \forall y ( W(a,y) \rightarrow L(x,y)))$
- literally says 'There is some novel $x$ and which Hardy wrote such that for all novels $y$ and written by Austen, $x$ is longer than $y'.$
- This sentence can be re-expressed more elegantly as 'Hardy wrote a novel which is longer than any of Austen's'.
Option D Explanation:
The formula $\exists x \forall y (W(h,x) \rightarrow W(a,y) \wedge L(x,y))$
- literally says 'There is some novel $x$ such that for all novels $y$ we have the following: If Hardy wrote $x,$ then Austen wrote $y$ and $x$ is longer than $y.$
- It is hard to re-express this sentence more elegantly, as it describes a rather "mathematical" situation.
This sentence does not come close to expressing what we want. For one thing, if the "witness" for $x$ is indeed a novel that Hardy wrote, then this sentence suggests that all novels $y$ are written by Austen and shorter than $x.$
Another wrong expression would be:
The formula $\forall x (W(h,x) \rightarrow L(x,a)))$
- literally says 'For all novels $x,$ if Hardy wrote $x,$ then $x$ is longer than Austen'.
- We can express this sentence more elegantly as 'Any novels that Hardy wrote are longer than Austen'.
Not only does this sentence not say what we want, but it treats Austen as if she/he were a novel, not an author, lacking sense and sensibility. :-)))
