12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 16:34, 21 January 2009
, 16:34, 21 January 2009→Over And Under Setting: cleanup
<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>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>
<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>