Let U be the collection all all finite subsets, not including , of the set N. Define a propo- sitional function S on U x U by S(X, Y ) : x is subset of Y . Is the following statement true or false? Justify your answer.
For all y there exist x such that S(X, Y ))