12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 03:56, 28 January 2009
, 03:56, 28 January 2009→Logical Translation Rule 1
|- style="height:48px; text-align:right"
|- style="height:48px; text-align:right"
| width="98%" | <math>\text{Logical Translation Rule 1}\!</math>
| width="98%" | <math>\text{Logical Translation Rule 1}\!</math>
| width=2%" |
| width="2%" |
|}
|}
|-
|-
| width="20%" style="border-top:1px solid black" |
| width="20%" style="border-top:1px solid black" |
<math>\downharpoonleft \operatorname{false} \downharpoonright</math>
<math>\downharpoonleft \operatorname{false} \downharpoonright</math>
| width="5%" style="border-top:1px solid black" | <math>=\!</math>
| width="5%" style="border-top:1px solid black" | <math>=\!</math>
| width="20%" style="border-top:1px solid black" | <math>(~)</math>
| width="20%" style="border-top:1px solid black" | <math>(~)</math>
| width="5%" style="border-top:1px solid black" | <math>=\!</math>
| width="5%" style="border-top:1px solid black" | <math>=\!</math>
| width="30%" style="border-top:1px solid black" |
| width="30%" style="border-top:1px solid black" |
<math>\underline{0} ~:~ X \to \underline\mathbb{B}</math>
<math>\underline{0} ~:~ X \to \underline\mathbb{B}</math>