.
The notion of "existence" has several forms, one of which will occupy us in the next chapter; but the fundamental form is that which is derived immediately from the notion of "sometimes true." We say that an argument
"satisfies" a function
if
is true; this is the same sense in which the roots of an equation are said to satisfy the equation. Now if
is sometimes true, we may say there are