is false or

is true." (The fact that "implies" is capable of other meanings does not concern us; this is the meaning which is convenient for us.) That is to say, "

implies

" is to mean "not-

or