Changes

User:Jon Awbrey/SCRATCHPAD (view source)

8 bytes added , 01:42, 4 February 2009

Line 3,233: Line 3,233:

| style="width:2%; border-top:1px solid black" |  

| style="width:14%; border-top:1px solid black" | <math>\operatorname{F1a.}</math>

−

| style="width:64%; border-top:1px solid black" | <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="width:20%; border-top:1px solid black; border-left:1px solid black; text-align:center" |

<math>\operatorname{F1a~:~R9a}</math>

Line 3,244: Line 3,244:

|  

| <math>\operatorname{F1b.}</math>

−

| <math>s \quad \Leftrightarrow \quad \upharpoonleft P \upharpoonright ~=~ \upharpoonleft Q \upharpoonright</math>

+

| <math>s \quad \Leftrightarrow \quad (\upharpoonleft P \upharpoonright ~=~ \upharpoonleft Q \upharpoonright)</math>

| style="border-left:1px solid black; text-align:center" |

<math>\operatorname{F1b~:~R9b}</math>

Line 3,353: Line 3,353: