12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 18:00, 15 June 2009
, 18:00, 15 June 2009→Note 22: markup + rewrite
The two main operators that we have worked with up to this point are the enlargement or shift operator <math>\operatorname{E} : X^\circ \to \operatorname{E}X^\circ</math> and the difference operator <math>\operatorname{D} : X^\circ \to \operatorname{E}X^\circ.</math>
The two main operators that we have worked with up to this point are the enlargement or shift operator <math>\operatorname{E} : X^\circ \to \operatorname{E}X^\circ</math> and the difference operator <math>\operatorname{D} : X^\circ \to \operatorname{E}X^\circ.</math>
<math>\operatorname{E}</math> and <math>\operatorname{D}</math> act on propositions in <math>X^\circ,</math> that is, propositions of the form <math>f : X \to \mathbb{B}</math> that are said to be ''about'' the subject matter of <math>X,\!</math> and they produce extended propositions of the forms <math>\operatorname{E}f, \operatorname{D}f : \operatorname{E}X \to \mathbb{B},</math> propositions whose extended sets of variables allow them to be read as being about specified collections of changes that conceivably occur in <math>X.\!</math>
<pre>
<pre>
Here we have need of visual representations,
Here we have need of visual representations,
some array of concrete pictures to anchor our
some array of concrete pictures to anchor our