or
" is of course also known to be true, but is again useless for inference, since
is already known, and therefore does not need to be inferred. In fact, inference only arises when "not-
or
" can be known without our knowing already which of the two alternatives it is that makes the disjunction true. Now, the circumstances under which this occurs are those in which certain relations of form exist between