The Answer to the Question
is below this banner.
Here's the Solution to this Question
Let us give an example of a predicate such that and have different truth values.
Let means and the domains for and are the set of all positive integers.
Since the set does not contain the greatest element, the value of is false. On the other hand, for any let . Then and hence the value of is true.