12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday May 07, 2024
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 19:45, 5 June 2008
, 19:45, 5 June 2008→Current Version @ PlanetMath : TeX Format: updare
\begin{quote}
\begin{quote}
$\operatorname{E}A^\circ = [ \operatorname{E}\mathcal{A} ] = [ \mathcal{A}\ \cup\ \operatorname{d}\mathcal{A} ] = [ a_1, \ldots, a_n, \operatorname{d}a_1, \ldots, \operatorname{d}a_n ].$
$\operatorname{E}A^\circ = [ \operatorname{E}\mathcal{A} ] = [ \mathcal{A}\ \cup\ \operatorname{d}\mathcal{A} ] = [ a_1, \ldots, a_n, \operatorname{d}a_1, \ldots, \operatorname{d}a_n ].$
\end{quote}
This gives $\operatorname{E}A^\circ$ the type:
\begin{quote}
$[ \mathbb{B}^n \times \mathbb{D}^n ] = (\mathbb{B}^n \times \mathbb{D}^n\ +\!\to \mathbb{B}) = (\mathbb{B}^n \times \mathbb{D}^n, \mathbb{B}^n \times \mathbb{D}^n \to \mathbb{B}).$
\end{quote}
\end{quote}
\end{itemize}
\end{itemize}
$\dots$
$\dots$
