Introduction to Mathematical Philosophy

by Bertrand Russell

and

are both true.

Last take implication, i.e. "

implies

," or "if

, then