MyWikiBiz, Author Your Legacy — Friday September 19, 2025
Jump to navigationJump to search
480 bytes added
, 15:52, 21 January 2009
Line 290: |
Line 290: |
| | | |
| :: '''<math>X = \{\!</math> <code>(u)(v)</code> , <code>(u)v</code> , <code>u(v)</code> , <code>uv</code> <math>\} \cong \mathbb{B}^2.</math>''' | | :: '''<math>X = \{\!</math> <code>(u)(v)</code> , <code>(u)v</code> , <code>u(v)</code> , <code>uv</code> <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 <math>\Leftrightarrow</math> <math>q_j\!</math> is true for every <math>j \in J.</math></p></li> |
| + | |
| + | </ol> |
| | | |
| ==Box Displays== | | ==Box Displays== |