MyWikiBiz, Author Your Legacy — Thursday September 18, 2025
Jump to navigationJump to search
165 bytes removed
, 20:22, 30 January 2009
Line 1,968: |
Line 1,968: |
| | | |
| ====Variant 2==== | | ====Variant 2==== |
− |
| |
− | <pre>
| |
− | Evaluation Rule 1
| |
− |
| |
− | If S, T are sentences
| |
− | about things in the universe U,
| |
− |
| |
− | f, g are propositions: 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 2,006: |
Line 1,984: |
| | 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{If}\!</math> | | | width="14%" style="border-top:1px solid black" | <math>\text{If}\!</math> |
− | | width="84%" style="border-top:1px solid black" | <math>f, g ~:~ X \to \underline\mathbb{B}</math> | + | | width="84%" style="border-top:1px solid black" | <math>s, t ~\text{are sentences about things in the universe}~ X</math> |
| + | |- style="height:40px" |
| + | | |
| + | | |
| + | | <math>f, g ~\text{are propositions} ~:~ X \to \underline\mathbb{B}</math> |
| |- style="height:40px" | | |- style="height:40px" |
| | | | | |