MyWikiBiz, Author Your Legacy — Thursday November 06, 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" |
| | | | | | |