Changes

Line 290: Line 290:     
:: '''<math>X = \{\!</math>&nbsp;<code>(u)(v)</code>&nbsp;,&nbsp;<code>(u)v</code>&nbsp;,&nbsp; <code>u(v)</code>&nbsp;,&nbsp;<code>uv</code>&nbsp;<math>\} \cong \mathbb{B}^2.</math>'''
 
:: '''<math>X = \{\!</math>&nbsp;<code>(u)(v)</code>&nbsp;,&nbsp;<code>(u)v</code>&nbsp;,&nbsp; <code>u(v)</code>&nbsp;,&nbsp;<code>uv</code>&nbsp;<math>\} \cong \mathbb{B}^2.</math>'''
 +
 +
<br>
 +
 +
<ol style="list-style-type:decimal">
 +
 +
<li>
 +
<p>The ''conjunction'' <math>\overset{J}{\underset{j}{\operatorname{Conj}}}\ q_j</math> of a set of propositions, <math>{q_j : j \in J},</math> is a proposition that is true if and only if each one of the <math>q_j\!</math> is true.</p>
 +
 +
<p><math>\overset{J}{\underset{j}{\operatorname{Conj}}}\ q_j</math> is true &nbsp;<math>\Leftrightarrow</math>&nbsp; <math>q_j\!</math> is true for every <math>j \in J.</math></p></li>
 +
 +
</ol>
    
==Box Displays==
 
==Box Displays==
12,080

edits