The formula x y L(x,y)
Obviously, this sentence has a different meaning than
''Jude the Obscure' is not longer than 'Pride and Predjudice''.
- 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''.
Back to Question.