12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday December 01, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0 (view source)
Revision as of 19:42, 11 July 2008
, 19:42, 11 July 2008→A Differential Extension of Propositional Calculus: HTML → TeX
Here, <math>\operatorname{d}A_i</math> is a set of two differential propositions, <math>\operatorname{d}A_i = \{(\operatorname{d}a_i), \operatorname{d}a_i\},</math> where <math>(\operatorname{d}a_i)</math> is a proposition with the logical value of "<math>\mbox{not}\ \operatorname{d}a_i</math>". Each component <math>\operatorname{d}A_i</math> has the type <math>\mathbb{B},</math> operating under the ordered correspondence <math>\{(\operatorname{d}a_i), \operatorname{d}a_i\} \cong \{0, 1\}.</math> However, clarity is often served by acknowledging this differential usage with a superficially distinct type <math>\mathbb{D},</math> whose intension may be indicated as follows:
Here, <math>\operatorname{d}A_i</math> is a set of two differential propositions, <math>\operatorname{d}A_i = \{(\operatorname{d}a_i), \operatorname{d}a_i\},</math> where <math>(\operatorname{d}a_i)</math> is a proposition with the logical value of "<math>\mbox{not}\ \operatorname{d}a_i</math>". Each component <math>\operatorname{d}A_i</math> has the type <math>\mathbb{B},</math> operating under the ordered correspondence <math>\{(\operatorname{d}a_i), \operatorname{d}a_i\} \cong \{0, 1\}.</math> However, clarity is often served by acknowledging this differential usage with a superficially distinct type <math>\mathbb{D},</math> whose intension may be indicated as follows:
: <math>\mathbb{D} = \{(\operatorname{d}a_i), \operatorname{d}a_i\} = \{\mbox{same}, \mbox{different}\} = \{\mbox{stay}, \mbox{change}\} = \{\mbox{stop}, \mboxx{step}\}.</math>
: <math>\mathbb{D} = \{(\operatorname{d}a_i), \operatorname{d}a_i\} = \{\mbox{same}, \mbox{different}\} = \{\mbox{stay}, \mbox{change}\} = \{\mbox{stop}, \mbox{step}\}.</math>
Viewed within a coordinate representation, spaces of type '''B'''<sup>''n''</sup> and '''D'''<sup>''n''</sup> may appear to be identical sets of binary vectors, but taking a view at this level of abstraction would be like ignoring the qualitative units and the diverse dimensions that distinguish position and momentum, or the different roles of quantity and impulse.
Viewed within a coordinate representation, spaces of type '''B'''<sup>''n''</sup> and '''D'''<sup>''n''</sup> may appear to be identical sets of binary vectors, but taking a view at this level of abstraction would be like ignoring the qualitative units and the diverse dimensions that distinguish position and momentum, or the different roles of quantity and impulse.
