12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 16:42, 29 January 2009
, 16:42, 29 January 2009→Value Rule 1
===Value Rule 1===
===Value Rule 1===
'''Editing Note.''' There are several versions of this Rule in the last couple of drafts I can find. I will try to figure out what's at issue here as I mark them up.
====Variant 1====
<pre>
<pre>
V1c. ((v , w))
V1c. ((v , w))
</pre>
</pre>
<br>
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black" width="90%"
|
{| align="center" cellpadding="0" cellspacing="0" width="100%"
|- style="height:48px; text-align:right"
| width="98%" | <math>\text{Value Rule 1}\!</math>
| width="2%" |
|}
|-
|
{| align="center" cellpadding="0" cellspacing="0" width="100%"
|- style="height:48px"
| 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>v, w ~\in~ \underline\mathbb{B}</math>
|- style="height:48px"
|
| <math>\text{then}\!</math>
| <math>^{\backprime\backprime} v = w \, ^{\prime\prime} ~\text{is a sentence about pairs of values}~ (v, w) \in \underline\mathbb{B}^2,</math>
|- style="height:48px"
|
|
| <math>\downharpoonleft v = w \downharpoonright ~\text{is a proposition} ~:~ \underline\mathbb{B}^2 \to \underline\mathbb{B},</math>
|- style="height:48px"
|
| <math>\text{and}\!</math>
| <math>\text{the following are identical values in}~ \underline\mathbb{B}:</math>
|}
|-
|
{| align="center" cellpadding="0" cellspacing="0" width="100%"
|- style="height:56px"
| width="2%" style="border-top:1px solid black" |
| width="14%" style="border-top:1px solid black" | <math>\text{V1a.}\!</math>
| width="84%" style="border-top:1px solid black" | <math>\downharpoonleft v = w \downharpoonright (v, w)</math>
|- style="height:56px"
|
| <math>\text{V1b.}\!</math>
| <math>\downharpoonleft v \Leftrightarrow w \downharpoonright (v, w)</math>
|- style="height:56px"
|
| <math>\text{V1c.}\!</math>
| <math>\underline{((}~ v ~,~ w ~\underline{))}</math>
|}
|}
<br>
<br>