It is time to formulate the differential analysis of a logical transformation, or a ''mapping of discourse''. It is wise to begin with the first order differentials.
−
It is time to formulate the differential analysis of
−
a logical transformation, or a "mapping of discourse".
−
It is wise to begin with the first order differentials.
−
We are considering an abstract logical transformation
+
We are considering an abstract logical transformation <math>F = (f, g) : [u, v] \to [x, y]</math> that can be interpreted in a number of different ways. Let's fix on a couple of major variants that might be indicated as follows:
−
F = <f, g> : [u, v] -> [x, y] that can be interpreted
−
in a number of different ways. Let's fix on a couple
−
of major variants that might be indicated as follows:
+
<pre>
Alias Map. <x , y > = F<u, v> = <((u)(v)), ((u, v))>
Alias Map. <x , y > = F<u, v> = <((u)(v)), ((u, v))>