12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Information = Comprehension × Extension (view source)
Revision as of 04:18, 30 March 2009
, 04:18, 30 March 2009→Discussion
Line 207:
Line 207:
: ''u'' = ((''s''<sub>1</sub>)(''s''<sub>2</sub>)(''s''<sub>3</sub>)(''s''<sub>4</sub>)).+
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:
−{| align="center" cellspacing="6" width="90%"
+|
+<math>\begin{array}{lll}
+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
| |
| |
Line 238:
Line 243:
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''<sub>''j''</sub> : ''j'' = 1 to 4}, and what we might regard as the "natural disjunction" or the "natural lub", namely, ''v'' = ''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''<sub>''j''</sub> : ''j'' = 1 to 4}, and what we might regard as the "natural disjunction" or the "natural lub", namely, ''v'' = ''cloven-hoofed''.
