12,080
edits
Changes
Directory:Jon Awbrey/Papers/Information = Comprehension × Extension (view source)
Revision as of 04:10, 30 March 2009
, 04:10, 30 March 2009→Discussion
In view of the analogical symmetries that the disjunctive term shares with the conjunctive case, I think that we can run through this example in fairly short order. We have an aggregation over four terms:
In view of the analogical symmetries that the disjunctive term shares with the conjunctive case, I think that we can run through this example in fairly short order. We have an aggregation over four terms:
{| align="center" cellspacing="6" width="90%"
|
<math>\begin{array}{lll}
s_1 & = & \operatorname{neat}
\\
s_2 & = & \operatorname{swine}
\\
s_3 & = & \operatorname{sheep}
\\
s_4 & = & \operatorname{deer}
\end{array}</math>
|}
Suppose that ''u'' is the logical disjunction of these four terms:
Suppose that <math>u\!</math> is the logical disjunction of these four terms:
: ''u'' = ((''s''<sub>1</sub>)(''s''<sub>2</sub>)(''s''<sub>3</sub>)(''s''<sub>4</sub>)).
: ''u'' = ((''s''<sub>1</sub>)(''s''<sub>2</sub>)(''s''<sub>3</sub>)(''s''<sub>4</sub>)).