with the following Rule:—
A Nullity and an Entity, with Like Eliminands, yield an Entity, in which the Nullity-Retinend changes its Sign.
[Note that this Rule is merely the Formula expressed in words.]
[pg077]Fig. III.
This includes any Pair of Premisses which are both of them Nullities, and which contain Like Eliminands asserted to exist.
The simplest case is
xm0 † ym0 † m1
[Note that “m1” is here stated separately, because it does not matter in which of the two Premisses it occurs: so that this includes the three forms “m1x0 † ym0”, “xm0 † m1y0”, and “m1x0 † m1y0”.]
∴ x′y′1 |
In this case we see that the Conclusion is an Entity, and that both Retinends have changed their Signs.