Changes

User:Jon Awbrey/SCRATCHPAD (view source)

Revision as of 20:22, 30 January 2009

165 bytes removed , 20:22, 30 January 2009

→‎Variant 2

Line 1,968: Line 1,968:

====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>

Line 2,006: Line 1,984:

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

| 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"

|  

Jon Awbrey

12,080

edits