12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 13:46, 2 February 2009
, 13:46, 2 February 2009→Rule 10
| width="18%" style="border-top:1px solid black" | <math>\operatorname{R10a.}</math>
| width="18%" style="border-top:1px solid black" | <math>\operatorname{R10a.}</math>
| width="60%" style="border-top:1px solid black" | <math>P ~=~ Q</math>
| width="60%" style="border-top:1px solid black" | <math>P ~=~ Q</math>
| width="20%" style="border-top:1px solid black; border-left:1px solid black; text-align:center" | <math>\operatorname{R9a~:~R5a}</math>
| width="20%" style="border-top:1px solid black; border-left:1px solid black; text-align:center" | <math>\operatorname{R10a~:~R5a}</math>
|- style="height:20px"
|- style="height:20px"
|
|
|- style="height:60px"
|- style="height:60px"
|
|
| <math>\operatorname{R9f.}</math>
| <math>\operatorname{R10f.}</math>
| <math>\operatorname{Conj_x^X}~ \underline{((}~ \upharpoonleft P \upharpoonright (x) ~,~ \upharpoonleft Q \upharpoonright (x) ~\underline{))}</math>
| <math>\operatorname{Conj_x^X}~ \underline{((}~ \upharpoonleft P \upharpoonright (x) ~,~ \upharpoonleft Q \upharpoonright (x) ~\underline{))}</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R10f~:~R7e}</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R10f~:~R7e}</math>
|- style="height:40px"
|- style="height:40px"
|
|
| <math>\operatorname{R9g.}</math>
| <math>\operatorname{R10g.}</math>
| <math>\operatorname{Conj_x^X}~ \underline{((}~ \upharpoonleft P \upharpoonright ~,~ \upharpoonleft Q \upharpoonright ~\underline{))}^\$ (x)</math>
| <math>\operatorname{Conj_x^X}~ \underline{((}~ \upharpoonleft P \upharpoonright ~,~ \upharpoonleft Q \upharpoonright ~\underline{))}^\$ (x)</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R10g~:~R7f}</math>
| style="border-left:1px solid black; text-align:center" | <math>\operatorname{R10g~:~R7f}</math>