Changes

==Note 17==

==Note 17==

We have been conducting the differential analysis of the logical transformation <math>F : [u, v] \mapsto [u, v]</math> defined as <math>F : (u, v) \mapsto ( ~\texttt{((u)(v))}~, ~\texttt{((u, v))}~ ),</math> and this means starting with the extended transformation <math>\operatorname{E}F : [u, v, du, dv] \to [u, v, du, dv]</math> and breaking it into an analytic series, <math>\operatorname{E}F = F + \operatorname{d}F + \operatorname{d}^2 F + \ldots,</math> and

We have been conducting the differential analysis

of the logical transformation F : [u, v] -> [u, v]

defined as F : <u, v> ~> <((u)(v)), ((u, v))>, and

this means starting with the extended transformation

EF : [u, v, du, dv] -> [u, v, du, dv] and breaking it

into an analytic series, EF = F + dF + d^2.F + ..., and

so on until there is nothing left to analyze any further.

so on until there is nothing left to analyze any further.

As a general rule, one proceeds by way of the following stages:

As a general rule, one proceeds by way of the following stages: