12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 00:32, 4 February 2009
, 00:32, 4 February 2009→Fact 1
{| align="center" cellpadding="0" cellspacing="0" width="100%"
{| align="center" cellpadding="0" cellspacing="0" width="100%"
|- style="height:60px"
|- style="height:60px"
| style="border-top:1px solid black; width:2%" |
| style="width:2%; border-top:1px solid black" |
| style="border-top:1px solid black; width:18%" | <math>\operatorname{F1a.}</math>
| style="width:14%; border-top:1px solid black" | <math>\operatorname{F1a.}</math>
| style="border-top:1px solid black; width:60%" | <math>s \quad \Leftrightarrow \quad P ~=~ Q</math>
| style="width:64%; border-top:1px solid black" | <math>s \quad \Leftrightarrow \quad P ~=~ Q</math>
| style="border-top:1px solid black; border-left:1px solid black; text-align:center" |
| style="width:20%; border-top:1px solid black; border-left:1px solid black; text-align:center" |
<math>\operatorname{F1a~:~R9a}</math>
<math>\operatorname{F1a~:~R9a}</math>
|- style="height:20px"
|- style="height:20px"
|
|
| <math>\operatorname{F1e.}</math>
| <math>\operatorname{F1e.}</math>
| <math>\operatorname{Conj_x^X}~ (\upharpoonleft P \upharpoonright (x) ~\Leftrightarrow~ \upharpoonleft Q \upharpoonright (x))</math>
| <math>\downharpoonleft s \downharpoonright \quad = \quad \downharpoonleft \operatorname{Conj_x^X}~ (\upharpoonleft P \upharpoonright (x) ~=~ \upharpoonleft Q \upharpoonright (x)) \downharpoonright</math>
| style="border-left:1px solid black; text-align:center" |
| style="border-left:1px solid black; text-align:center" |
<p><math>\operatorname{F1e~:~R8b}</math></p>
<p><math>\operatorname{F1e~:~R8b}</math></p>