12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory: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
Line 3,850:
Line 3,850:
E and D take a proposition in X%, that is, a proposition f : X -> B
−that is said to be "about" the subject matter of X, and produce the
−extended propositions Ef, Df : EX -> B, which may be interpreted as
−being about specified collections of changes that might occur in X.
−
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
