12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 16:32, 21 January 2009
, 16:32, 21 January 2009→Cactus TeX
<br>
<br>
==Over And Under Setting==
<ol style="list-style-type:decimal">
<ol style="list-style-type:decimal">
<li>
<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>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 every 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>
<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>
<li>
<p>The ''surjunction'' <math>\overset{J}{\underset{j}{\operatorname{Surj}}}\ 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 exactly one of the <math>q_j\!</math> is untrue.</p>
<p><math>\overset{J}{\underset{j}{\operatorname{Surj}}}\ q_j</math> is true <math>\Leftrightarrow</math> <math>q_j\!</math> is untrue for unique <math>j \in J.</math></p></li>
</ol>
</ol>