Is this truth table correct?
Edit: should be , etc...
For the last two I thought of them like this: If then is true. However if then is false. So we require that for the statement to be true. So the operation is sort of like the operation in terms of truths.
Crap...just realized I screwed up. For all then the second to last statement is false. For all then that statement is true.
The last one is basically a union of two sets. So to be false, and