12,089
edits
Changes
Directory talk:Jon Awbrey/Papers/Syntactic Transformations (view source)
Revision as of 21:58, 10 September 2010
, 21:58, 10 September 2010→1.3.12.1. Syntactic Transformation Rules: sort out different types of rules
=====1.3.12.1. Syntactic Transformation Rules=====
=====1.3.12.1. Syntactic Transformation Rules=====
======Value Rules======
<pre>
<pre>
E1d. (( f , g ))$(u). :$1b
E1d. (( f , g ))$(u). :$1b
</pre>
</pre>
======Definitions======
<pre>
<pre>
D7b. [S] = [T].
D7b. [S] = [T].
</pre>
</pre>
======Other Rules======
<pre>
<pre>
d. R11d gives a version of the indicator function with {X} : U->B, called its "functional form".
d. R11d gives a version of the indicator function with {X} : U->B, called its "functional form".
======Facts======
Applying Rule 9, Rule 8, and the Logical Rules to the special case where S <=> (X = Y), one obtains the following general fact.
Applying Rule 9, Rule 8, and the Logical Rules to the special case where S <=> (X = Y), one obtains the following general fact.