12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 19:46, 24 June 2008
, 19:46, 24 June 2008→Special classes of propositions: add item
:* <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>
'''…'''
'''…'''