Introduction to Mathematical Philosophy

by Bertrand Russell

or

' implies '

or

,'" are really assertions that certain propositional functions are true in all cases. We do not assert the above principle, for example, as being true only of this or that particular

or