12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 03:48, 22 May 2008
, 03:48, 22 May 2008→Work Area
<math>(\mathbb{B}^n\ +\!\to \mathbb{B})</math><br>
<math>(\mathbb{B}^n\ +\!\to \mathbb{B})</math><br>
<math>[\mathbb{B}^n]</math>
<math>[\mathbb{B}^n]</math>
|}
|}<br>
<br>
A proposition in the tangent universe [E<font face="lucida calligraphy">A</font>] is called a ''differential proposition'' and forms the analogue of a system of differential equations, constraints, or relations in ordinary calculus.
A proposition in the tangent universe [E<font face="lucida calligraphy">A</font>] is called a ''differential proposition'' and forms the analogue of a system of differential equations, constraints, or relations in ordinary calculus.
<math>(\mathbb{D}^n\ +\!\to \mathbb{B})</math><br>
<math>(\mathbb{D}^n\ +\!\to \mathbb{B})</math><br>
<math>[\mathbb{D}^n]</math>
<math>[\mathbb{D}^n]</math>
|}
|}<br>
<br>