Introduction to Mathematical Philosophy
Bertrand Russell
Страница - 472
Страница - 474
are both true; in still simpler words, it states that
and
jointly imply
and
jointly.