Introduction to Mathematical Philosophy

by Bertrand Russell

Now, put

Then M. Nicod's sole formal principle of deduction is

in other words,

implies both

and