Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Differential Propositional Calculus
(view source)
Revision as of 02:22, 1 June 2013
No change in size
,
02:22, 1 June 2013
→3.2. Special Classes of Propositions
:
typo
Line 386:
Line 386:
<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_1
\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>
</blockquote>
</blockquote>
Jon Awbrey
12,080
edits