12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 00:20, 2 February 2009
, 00:20, 2 February 2009→Rule 8
| <math>\operatorname{Conj_x^X}~ \underline{((}~ \downharpoonleft s \downharpoonright (x) ~,~ \downharpoonleft t \downharpoonright (x) ~\underline{))}</math>
| <math>\operatorname{Conj_x^X}~ \underline{((}~ \downharpoonleft s \downharpoonright (x) ~,~ \downharpoonleft t \downharpoonright (x) ~\underline{))}</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R8f~:~R7e}</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R8f~:~R7e}</math>
|- style="height:20px"
|- style="height:20px"
|
|
|
|
| <math>\operatorname{R8g.}</math>
| <math>\operatorname{R8g.}</math>
| <math>\operatorname{Conj_x^X}~ \underline{((}~ p ~,~ q ~\underline{))}^\$ (x)</math>
| <math>\operatorname{Conj_x^X}~ \underline{((}~ \downharpoonleft s \downharpoonright ~,~ \downharpoonleft t \downharpoonright ~\underline{))}^\$ (x)</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R8g~:~R7f}</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R8g~:~R7f}</math>
|}
|}