Option D Explanation:
The formula $\neg L(j,p)$
- literally says 'It is not the case that 'Jude the Obscure' is longer than 'Pride and Predjudice''.
- Expressing this more elegantly, we uncover the sought sentence ''Jude the Obscure' is not longer than 'Pride and Predjudice''.
Option A Explanation:
The formula $W(h,j) \wedge W(a,p)$
- literally says 'Hardy wrote 'Jude and Obscure', and Austen wrote 'Pride and Predjudice''.
Obviously, this sentence has a different meaning than ''Jude the Obscure' is not longer than 'Pride and Predjudice''.
Option B Explanation:
The formula $\neg \forall x \forall y \neg L(x,y)$
- literally says 'It is not the case that for all x and y the x is not longer than y''.
- A less convoluted way of putting this, making use of the quantifier equivalences, is ''There is some $x$ and some $y$ such that $x$ is longer than $y$''.
Obviously, this sentence has a different meaning than ''Jude the Obscure' is not longer than 'Pride and Predjudice''.
Option C Explanation:
The formula $L(p,j)$
- literally says ''Pride and Predjudice' is longer than 'Jude the Obscure''.
While this comes very close to expressing ''Jude the Obscure' is not longer than 'Pride and Predjudice'', there is a difference in the amount of information that these sentences reveal. If 'Pride and Predjudice' is longer than 'Jude the Obscure', then 'Jude the Obscure' is clearly not longer than 'Pride and Predjudice'. But if we only know the latter, we cannot infer the former, for they could have equal length!
For Practice:
The formula $L(h,a)$
- literally says ''Hardy is longer than Austen''.
Obviously, this is a long shot from expressing that ''Jude the Obscure' is not longer than 'Pride and Predjudice'', as it confounds, among other things, the authors with their most famous novels.