MyWikiBiz, Author Your Legacy — Monday September 29, 2025
Jump to navigationJump to search
454 bytes added
, 19:46, 24 June 2008
Line 270: |
Line 270: |
| | | |
| :* <p>The ''positive propositions'', <math>\{ p : \mathbb{B}^n \to \mathbb{B} \} = (\mathbb{B}^n \xrightarrow{p} \mathbb{B}),</math> may be written as products:</p><blockquote><math>\prod_{i=1}^n e_i = e_1 \cdot \ldots \cdot e_n</math> where <math>e_i = a_i\!</math> or <math>e_i = 1\!</math> for <math>i = 1\!</math> to <math>n.\!</math></blockquote> | | :* <p>The ''positive propositions'', <math>\{ p : \mathbb{B}^n \to \mathbb{B} \} = (\mathbb{B}^n \xrightarrow{p} \mathbb{B}),</math> may be written as products:</p><blockquote><math>\prod_{i=1}^n e_i = e_1 \cdot \ldots \cdot e_n</math> where <math>e_i = a_i\!</math> or <math>e_i = 1\!</math> for <math>i = 1\!</math> to <math>n.\!</math></blockquote> |
| + | |
| + | :* <p>The ''singular propositions'', <math>\{ \mathbf{x} : \mathbb{B}^n \to \mathbb{B} \} = (\mathbb{B}^n \xrightarrow{s} \mathbb{B}),</math> may be written as products:</p><blockquote><math>\prod_{i=1}^n e_i = e_1 \cdot \ldots \cdot e_n</math> where <math>e_i = a_i\!</math> or <math>e_i = (a_i)\!</math> for <math>i = 1\!</math> to <math>n.\!</math></blockquote> |
| | | |
| '''…''' | | '''…''' |