Introduction to Mathematical Philosophy

by Bertrand Russell

from

, it is only necessary that

should be true and that the proposition "not-

or

" should be true. Whenever this is the case, it is clear that