Changes

Suppose that <math>u\!</math> is the logical disjunction of these four terms:

Suppose that <math>u\!</math> is the logical disjunction of these four terms:

: ''u'' = ((''s''₁)(''s''₂)(''s''₃)(''s''₄)).

u & = & ((s_1)(s_2)(s_3)(s_4))

\end{array}</math>

Figure 2 depicts the situation that we have before us.

Figure 2 depicts the situation that we have before us.

<font face="courier new"><pre>

<br><center><pre>

o---------------------------------------------------------------------o

o---------------------------------------------------------------------o

|                                                                    |

|                                                                    |

o---------------------------------------------------------------------o

o---------------------------------------------------------------------o

Figure 2.  Disjunctive Term u, Taken as Subject

Figure 2.  Disjunctive Term u, Taken as Subject

</pre></font>

</pre></center><br>

In a similar but dual fashion to the preceding consideration, there is a gap between the the logical disjunction ''u'', in lattice terminology, the ''least upper bound'' (''lub'') of the disjoined terms, ''u'' = ''lub''{''s''_''j''&nbsp;:&nbsp;''j''&nbsp;=&nbsp;1&nbsp;to&nbsp;4}, and what we might regard as the "natural disjunction" or the "natural lub", namely, ''v''&nbsp;=&nbsp;''cloven-hoofed''.

In a similar but dual fashion to the preceding consideration, there is a gap between the the logical disjunction ''u'', in lattice terminology, the ''least upper bound'' (''lub'') of the disjoined terms, ''u'' = ''lub''{''s''_''j''&nbsp;:&nbsp;''j''&nbsp;=&nbsp;1&nbsp;to&nbsp;4}, and what we might regard as the "natural disjunction" or the "natural lub", namely, ''v''&nbsp;=&nbsp;''cloven-hoofed''.