" which is always true if not-
is always true. At the first moment, this result might lead the reader to desire different definitions, but a little practical experience soon shows that any different definitions would be inconvenient and would conceal the important ideas. The proposition "
always implies
, and
is sometimes true" is essentially composite, and it would be very awkward to give this as the definition of "all
