,

,

to denote variable propositions.

The simplest of such functions is the negative, "not-

." This is that function of