Introduction to Mathematical Philosophy

by Bertrand Russell

and

. It follows that

expresses the incompatibility of

with the conjunction of

and