12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 20:18, 7 May 2008
, 20:18, 7 May 2008→Differential Logic : Series C: markup
</pre>
</pre>
The differential field E[uv] specifies the changes that need to be made from each point of X in order
The differential field <math>\operatorname{E}[uv]\!</math> specifies the changes that need to be made from each point of <math>X\!</math> in order to reach one of the models of the proposition <math>uv,\!</math> that is, in order to satisfy the proposition <math>uv.\!</math>
to reach one of the models of the proposition uv, that is, in order to satisfy the proposition uv.
The field of changes produced by D on uv is shown in Figure 3.
The field of changes produced by <math>\operatorname{D}\!</math> on <math>uv\!</math> is shown in Figure 3.
<pre>
<pre>
</pre>
</pre>
The differential field D[uv] specifies the changes that need to be made from each point of X in order
The differential field <math>\operatorname{D}[uv]\!</math> specifies the changes that need to be made from each point of <math>X\!</math> in order to change the value of the proposition <math>uv.\!</math>
to change the value of the proposition uv.
==References==
==References==