MyWikiBiz, Author Your Legacy — Thursday November 06, 2025
Jump to navigationJump to search
179 bytes removed
, 15:23, 30 January 2009
| Line 1,829: |
Line 1,829: |
| | | | |
| | ====Variant 1==== | | ====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>
| |
| | | | |
| | <br> | | <br> |
| Line 1,879: |
Line 1,860: |
| | |- style="height:56px" | | |- style="height:56px" |
| | | width="2%" style="border-top:1px solid black" | | | | 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="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" | | |- style="height:24px" |
| | | | | | |
| Line 1,889: |
Line 1,870: |
| | |- style="height:56px" | | |- style="height:56px" |
| | | | | | |
| − | | <math>\text{E1b.}\!</math> | + | | <math>\operatorname{E1b.}</math> |
| | | <math>f(x) ~\Leftrightarrow~ g(x)</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" | | |- style="height:24px" |
| | | | | | |
| Line 1,899: |
Line 1,880: |
| | |- style="height:56px" | | |- style="height:56px" |
| | | | | | |
| − | | <math>\text{E1c.}\!</math> | + | | <math>\operatorname{E1c.}</math> |
| | | <math>\underline{((}~ f(x) ~,~ g(x) ~\underline{))}</math> | | | <math>\underline{((}~ f(x) ~,~ g(x) ~\underline{))}</math> |
| | | style="border-left:1px solid black; text-align:center" | | | | style="border-left:1px solid black; text-align:center" | |
| − | <p><math>\text{E1c : V1c}\!</math></p> | + | <p><math>\operatorname{E1c~:~V1c}</math></p> |
| − | <p><math>\text{E1c : S1a}\!</math></p> | + | <p><math>\operatorname{E1c~:~$1a}</math></p> |
| | |- style="height:24px" | | |- style="height:24px" |
| | | | | | |
| Line 1,911: |
Line 1,892: |
| | |- style="height:56px" | | |- style="height:56px" |
| | | | | | |
| − | | <math>\text{E1d.}\!</math> | + | | <math>\operatorname{E1d.}</math> |
| | | <math>\underline{((}~ f ~,~ g ~\underline{))}^\$ (x)</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> |
| | |} | | |} |
| | |} | | |} |