12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 30, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 15:00, 1 June 2013
, 15:00, 1 June 2013→3.2. Special Classes of Propositions: {| align="center" cellspacing="8" width="90%" | instead of <blockquote>
<p>The ''linear propositions'', <math>\{ \ell : \mathbb{B}^n \to \mathbb{B} \} = (\mathbb{B}^n \xrightarrow{\ell} \mathbb{B}),\!</math> may be written as sums:</p>
<p>The ''linear propositions'', <math>\{ \ell : \mathbb{B}^n \to \mathbb{B} \} = (\mathbb{B}^n \xrightarrow{\ell} \mathbb{B}),\!</math> may be written as sums:</p>
{| align="center" cellspacing="8" width="90%"
|
<math>\sum_{i=1}^n e_i ~=~ e_1 + \ldots + e_n
<math>\sum_{i=1}^n e_i ~=~ e_1 + \ldots + e_n
~\text{where}~
~\text{where}~
\left\{\begin{matrix} e_i = a_i \\ \text{or} \\ e_i = 0 \end{matrix}\right\}
\left\{\begin{matrix} e_i = a_i \\ \text{or} \\ e_i = 0 \end{matrix}\right\}
~\text{for}~ i = 1 ~\text{to}~ n.\!</math>
~\text{for}~ i = 1 ~\text{to}~ n.\!</math>
|}
</li>
</li>
<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>
<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>
{| align="center" cellspacing="8" width="90%"
|
<math>\prod_{i=1}^n e_i ~=~ e_1 \cdot \ldots \cdot e_n
<math>\prod_{i=1}^n e_i ~=~ e_1 \cdot \ldots \cdot e_n
~\text{where}~
~\text{where}~
\left\{\begin{matrix} e_i = a_i \\ \text{or} \\ e_i = 1 \end{matrix}\right\}
\left\{\begin{matrix} e_i = a_i \\ \text{or} \\ e_i = 1 \end{matrix}\right\}
~\text{for}~ i = 1 ~\text{to}~ n.\!</math>
~\text{for}~ i = 1 ~\text{to}~ n.\!</math>
|}
</li>
</li>
<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>
<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>
{| align="center" cellspacing="8" width="90%"
|
<math>\prod_{i=1}^n e_i ~=~ e_1 \cdot \ldots \cdot e_n
<math>\prod_{i=1}^n e_i ~=~ e_1 \cdot \ldots \cdot e_n
~\text{where}~
~\text{where}~
\left\{\begin{matrix} e_i = a_i \\ \text{or} \\ e_i = \texttt{(} a_i \texttt{)} \end{matrix}\right\}
\left\{\begin{matrix} e_i = a_i \\ \text{or} \\ e_i = \texttt{(} a_i \texttt{)} \end{matrix}\right\}
~\text{for}~ i = 1 ~\text{to}~ n.\!</math>
~\text{for}~ i = 1 ~\text{to}~ n.\!</math>
|}
</li>
</li>
