Introduction to Mathematical Philosophy

by Bertrand Russell

and not-

, i.e. it is

. Implication is the incompatibility of

and not-

, i.e.