12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday April 06, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Information = Comprehension × Extension (view source)
Revision as of 04:10, 30 March 2009
, 04:10, 30 March 2009→Discussion
Line 192:
Line 192:
: ''s''<sub>1</sub> = ''neat''+: ''s''<sub>2</sub> = ''swine''+: ''s''<sub>3</sub> = ''sheep''+: ''s''<sub>4</sub> = ''deer''+
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>)).
