Changes

MyWikiBiz, Author Your Legacy — Thursday March 28, 2024
Jump to navigationJump to search
Line 192: Line 192:  
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:
   −
: ''s''<sub>1</sub> = ''neat''
+
{| align="center" cellspacing="6" width="90%"
: ''s''<sub>2</sub> = ''swine''
+
|
: ''s''<sub>3</sub> = ''sheep''
+
<math>\begin{array}{lll}
: ''s''<sub>4</sub> = ''deer''
+
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>)).
12,080

edits

Navigation menu