Page:Carroll - Game of Logic.djvu/33

This tells us, with regard to the $xy^{\prime }$-Square, that it is wholly 'empty', since both compartments are so marked. With regard to the $xy$-Square, it tells us that it is 'occupied'. True, it is only one compartment of it that is so marked; but that is quite enough, whether the other be 'occupied' or 'empty', to the fact that there is something in the Square.

If, then, we transfer our marks to the smaller Diagram, so as to get rid of the $xy^{\prime }$-subdivisions, we have a right to mark it

1

0

which means, you know, "all $x$ are $y$."

The result would have been exactly the same, if the given oblong had been marked thus:—

1			0
		0

Once more: how shall we interpret this, with regard to $x$ and $y$?

0			1

This tells us, as to the $xy$-Square, that one of its compartments is 'empty'. But this information is