12,089
edits
Changes
→Where I Left Off In June 2004: continue synchronizing outlines
Conversely, any rule of this sort, properly qualified by the conditions under which it applies, can be turned back into a summary statement of the logical equivalence that is involved in its application. This mode of conversion between a static principle and a transformational rule, in other words, between a statement of equivalence and an equivalence of statements, is so automatic that it is usually not necessary to make a separate note of the "horizontal" versus the "vertical" versions of what amounts to the same abstract principle.
Conversely, any rule of this sort, properly qualified by the conditions under which it applies, can be turned back into a summary statement of the logical equivalence that is involved in its application. This mode of conversion between a static principle and a transformational rule, in other words, between a statement of equivalence and an equivalence of statements, is so automatic that it is usually not necessary to make a separate note of the "horizontal" versus the "vertical" versions of what amounts to the same abstract principle.
<pre>
<pre>
as "Facts".
as "Facts".
</pre>
</pre>
<pre>
<pre>
</pre>
</pre>
=====1.3.10.15 Derived Equivalence Relations=====
=====1.3.12.2. Derived Equivalence Relations=====
<pre>
<pre>
</pre>
</pre>
=====1.3.10.16 Digression on Derived Relations=====
=====1.3.12.3. Digression on Derived Relations=====
<pre>
<pre>