Changes

User:Jon Awbrey/SCRATCHPAD (view source)

Revision as of 15:23, 30 January 2009

179 bytes removed , 15:23, 30 January 2009

→‎Variant 1

Line 1,829: Line 1,829:

====Variant 1====

−

~~<pre>~~

−

~~Evaluation Rule 1~~

−

~~If f, g : U -> B~~

−

~~and u C U,~~

−

~~then the following are equivalent:~~

−

~~E1a. f(u) = g(u). :V1a~~

−

::

−

~~E1b. f(u) <=> g(u). :V1b~~

−

::

−

~~E1c. (( f(u) , g(u) )). :V1c~~

−

~~:$1a~~

−

::

−

~~E1d. (( f , g ))$(u). :$1b~~

−

~~</pre>~~

Line 1,879: Line 1,860:

|- style="height:56px"

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

−

| width="14%" style="border-top:1px solid black" | <math>\~~text~~{E1a.}\!</math>

+

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

| width="64%" style="border-top:1px solid black" | <math>f(x) ~=~ g(x)</math>

−

| width="20%" style="border-top:1px solid black; border-left:1px solid black; text-align:center" | <math>\~~text~~{E1a : V1a}\!</math>

+

| width="20%" style="border-top:1px solid black; border-left:1px solid black; text-align:center" | <math>\operatorname{E1a~:~V1a}</math>

|- style="height:24px"

|  

Line 1,889: Line 1,870:

|- style="height:56px"

|  

−

| <math>\~~text~~{E1b.}\!</math>

+

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

| <math>f(x) ~\Leftrightarrow~ g(x)</math>

−

| style="border-left:1px solid black; text-align:center" | <math>\~~text~~{E1b : V1b}\!</math>

+

| style="border-left:1px solid black; text-align:center" | <math>\operatorname{E1b~:~V1b}</math>

|- style="height:24px"

|  

Line 1,899: Line 1,880:

|- style="height:56px"

|  

−

| <math>\~~text~~{E1c.}\!</math>

+

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

| <math>\underline{((}~ f(x) ~,~ g(x) ~\underline{))}</math>

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

−

+

<math>\operatorname{E1c~:~V1c}</math>

−

+

<math>\operatorname{E1c~:~$1a}</math>

|- style="height:24px"

|  

Line 1,911: Line 1,892:

|- style="height:56px"

|  

−

| <math>\~~text~~{E1d.}\!</math>

+

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

| <math>\underline{((}~ f ~,~ g ~\underline{))}^\$ (x)</math>

−

| style="border-left:1px solid black; text-align:center" | <math>\~~text~~{E1d : ~~S1b~~}\!</math>

+

| style="border-left:1px solid black; text-align:center" | <math>\operatorname{E1d~:~$1b}</math>

|}

Jon Awbrey

12,080

edits