Introduction to Mathematical Philosophy

by Bertrand Russell

and

. For example, we know that if

implies the negation of

, then

implies the negation of