12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 03:08, 17 June 2009
, 03:08, 17 June 2009→Note 24: convert graphics
Figure 24-2 illustrates the tacit extension of the proposition or scalar field <math>f = pq : X \to \mathbb{B}</math> to give the extended proposition or differential field that we notate as <math>\varepsilon f = \varepsilon (pq) : \operatorname{E}X \to \mathbb{B}.</math>
Figure 24-2 illustrates the tacit extension of the proposition or scalar field <math>f = pq : X \to \mathbb{B}</math> to give the extended proposition or differential field that we notate as <math>\varepsilon f = \varepsilon (pq) : \operatorname{E}X \to \mathbb{B}.</math>
{| align="center" cellspacing="10" style="text-align:center"
{| align="center" cellspacing="10" style="text-align:center"
| [[Image:Field Picture PQ Tacit Extension Conjunction.jpg|500px]]
|-
| <math>\text{Figure 24-2. Tacit Extension}~ \varepsilon (pq) : \operatorname{E}X \to \mathbb{B}</math>
|-
|
|
<math>\begin{array}{rcccccc}
<math>\begin{array}{rcccccc}