12,080
edits
Changes
Directory:Jon Awbrey/Papers/Syntactic Transformations (view source)
Revision as of 17:48, 20 February 2009
, 17:48, 20 February 2009→Syntactic Transformation Rules: editing note + cleanup
'''Editing Note.''' Need a transition here. Give a brief description of the Tables of Translation Rules that have now been moved to the Appendices, and then move on to the rest of the Definitions and Proof Schemata.
'''Editing Note.''' Need a transition here. Give a brief description of the Tables of Translation Rules that have now been moved to the Appendices, and then move on to the rest of the Definitions and Proof Schemata.
A rule that allows one to turn equivalent sentences into identical propositions:
A rule that allows one to turn equivalent sentences into identical propositions:
{| align="center" cellpadding="8" width="90%"
| <math>(S \Leftrightarrow T) \quad \Leftrightarrow \quad (\downharpoonleft S \downharpoonright = \downharpoonleft T \downharpoonright)</math>
|}
</pre>
Compare:
{| align="center" cellpadding="8" width="90%"
| <math>\downharpoonleft v = w \downharpoonright (v, w)</math>
|-
| <math>\downharpoonleft v(u) = w(u) \downharpoonright (u)</math>
|}
'''Editing Note.''' The last draft that I can find has 5 variants of the next box, for "Value Rule 1", and I can't right off which one I meant to use. Until I can get back to this, here is a link to the collection of variants:
* [http://mywikibiz.com/User:Jon_Awbrey/SCRATCHPAD#Value_Rule_1 Value Rule 1]
<br>
<br>