Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Syntactic Transformations
(view source)
Revision as of 20:38, 2 February 2009
62 bytes removed
,
20:38, 2 February 2009
→Syntactic Transformation Rules
:
another box in the night
Line 576:
Line 576:
|- style="height:40px; text-align:center"
|- style="height:40px; text-align:center"
| width="80%" |
| width="80%" |
−
| width="20%" | <math>\
text
{Definition 2}
\!
</math>
+
| width="20%" | <math>\
operatorname
{Definition
~
2}</math>
|}
|}
|-
|-
Line 596:
Line 596:
| width="2%" style="border-top:1px solid black" |
| width="2%" style="border-top:1px solid black" |
| width="18%" style="border-top:1px solid black" | <math>\operatorname{D2a.}</math>
| width="18%" style="border-top:1px solid black" | <math>\operatorname{D2a.}</math>
−
| width="
60
%" style="border-top:1px solid black" | <math>P ~=~ Q</math>
+
| width="
80
%" style="border-top:1px solid black" | <math>P ~=~ Q</math>
−
| width="20%" style="border-top:1px solid black" |
+
|- style="height:
60px
"
−
|- style="height:
40px
"
|
|
| <math>\operatorname{D2b.}</math>
| <math>\operatorname{D2b.}</math>
−
| <math>x \in P ~\Leftrightarrow~ x \in Q
</math>
+
| <math>
\overset{X}{\underset{x}{\forall}}~ (
x \in P ~\Leftrightarrow~ x \in Q
)
</math>
−
| align="center" | <math>\forall x \in X
</math>
|}
|}
|}
|}
Jon Awbrey
12,080
edits