It also seemed to me not to be a wff, but I wasn't sure. Kmath, I meant that I couldn't myself translate the logical statement in your first post into a grammatically correct one.
I looked over the second example in the text that I alluded to earlier, probably for the 20th time, and then just took it all for granted. The following is that example, and then after that is my new solution patterned after this example, which I will have to reflect on a little more so that I feel that I understand it sufficiently.
2. Analyze the logical form of the statement
by writing out the definitions of the set theory notation used. Solution
. By the definition of subset we must say that every element of
is also an element of
, so we could start by writing
. Filling in the meaning of
, which we worked out earlier, we would end up with
. But since the elements of
are just the
's, for all
, perhaps an easier way of saying that every element of
is an element of
. The two answers we have given are equivalent, but showing this would require the methods we will be studying in Chapter 3.
My New Solution
If Example 2 says, in regard to a certain set being a subset of another set, that "every element of is an element of would be [to say] ," then the logical form of the statement can be analyzed as