is not always false" rather than "

sometimes" or "

is sometimes true."

The forms which are taken as simplest in traditional formal logic are really far from being so, and all involve the assertion of all values or some values of a compound propositional function. Take, to begin with, "all

is

." We will take it that