Line 9,140:
Line 9,140:
Figure 61. Propositional Transformation
Figure 61. Propositional Transformation
</pre>
</pre>
+
+
<br>
+
<p>[[Image:Diff Log Dyn Sys -- Figure 61 -- Propositional Transformation.gif|center]]</p>
+
<p><center><font size="+1">'''Figure 61. Propositional Transformation'''</font></center></p>
===Figure 62. Propositional Transformation (Short Form)===
===Figure 62. Propositional Transformation (Short Form)===
Line 9,191:
Line 9,195:
Figure 62. Propositional Transformation (Short Form)
Figure 62. Propositional Transformation (Short Form)
</pre>
</pre>
+
+
<br>
+
<p>[[Image:Diff Log Dyn Sys -- Figure 62 -- Propositional Transformation (Short Form).gif|center]]</p>
+
<p><center><font size="+1">'''Figure 62. Propositional Transformation (Short Form)'''</font></center></p>
===Figure 63. Transformation of Positions===
===Figure 63. Transformation of Positions===
Line 9,268:
Line 9,276:
Figure 63. Transformation of Positions
Figure 63. Transformation of Positions
</pre>
</pre>
+
+
<br>
+
<p>[[Image:Diff Log Dyn Sys -- Figure 63 -- Transformation of Positions.gif|center]]</p>
+
<p><center><font size="+1">'''Figure 63. Transformation of Positions'''</font></center></p>
===Table 64. Transformation of Positions===
===Table 64. Transformation of Positions===
Line 10,437:
Line 10,449:
</font><br>
</font><br>
−
===Figure 69. Difference Map of F = ‹f, g› = ‹((u)(v)), ((u, v))›===
+
===Figure 69. Difference Map of F = ‹f, g› = ‹((u)(v)), ((u, v))›===
<pre>
<pre>
Line 10,503:
Line 10,515:
Figure 69. Difference Map of F = <f, g> = <((u)(v)), ((u, v))>
Figure 69. Difference Map of F = <f, g> = <((u)(v)), ((u, v))>
</pre>
</pre>
+
+
<br>
+
<p>[[Image:Diff Log Dyn Sys -- Figure 69 -- Difference Map (Short Form).gif|center]]</p>
+
<p><center><font size="+1">'''Figure 69. Difference Map of F = ‹f, g› = ‹((u)(v)), ((u, v))›'''</font></center></p>
===Formula Display 19===
===Formula Display 19===