Introduction to Mathematical Philosophy

by Bertrand Russell

and not-

' is sometimes true."

It will be observed that the propositional functions which are here asserted for all or some values are not

and

themselves, but truth-functions of

and