12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 13:52, 23 June 2009
, 13:52, 23 June 2009→Propositional Forms on Two Variables: tweak terminology
<br>
<br>
===Enlargement and Difference Expanded over Differential Features===
===Transforms Expanded over Differential Features===
The next four Tables expand the expressions of <math>\operatorname{E}f</math> and <math>\operatorname{D}f</math> in two different ways, for each of the sixteen functions. Notice that the functions are given in a different order, partitioned into seven natural classes by a group action.
The next four Tables expand the expressions of <math>\operatorname{E}f</math> and <math>\operatorname{D}f</math> in two different ways, for each of the sixteen functions. Notice that the functions are given in a different order, partitioned into seven natural classes by a group action.
<br>
<br>
===Enlargement and Difference Expanded over Ordinary Features===
===Transforms Expanded over Ordinary Features===
<br>
<br>