12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 16:29, 28 January 2009
, 16:29, 28 January 2009→Logical Translation Rule 2
<math>\downharpoonleft \operatorname{false} \downharpoonright</math>
<math>\downharpoonleft \operatorname{false} \downharpoonright</math>
| width="4%" style="border-top:1px solid black" | <math>=\!</math>
| width="4%" style="border-top:1px solid black" | <math>=\!</math>
| width="20%" style="border-top:1px solid black" | <math>(~)</math>
| width="24%" style="border-top:1px solid black" | <math>(~)</math>
| width="4%" style="border-top:1px solid black" | <math>=\!</math>
| width="4%" style="border-top:1px solid black" | <math>=\!</math>
| width="28%" style="border-top:1px solid black" |
| width="24%" style="border-top:1px solid black" |
<math>\underline{0} ~:~ X \to \underline\mathbb{B}</math>
<math>\underline{0} ~:~ X \to \underline\mathbb{B}</math>
|- style="height:52px"
|- style="height:52px"
|
|
| align="left" | <math>\text{L2b}_{3}.\!</math>
| align="left" | <math>\text{L2b}_{3}.\!</math>
| <math>\downharpoonleft \ldots \downharpoonright</math>
| <math>\downharpoonleft \operatorname{not}~ s\downharpoonright</math>
| <math>=\!</math>
| <math>=\!</math>
| <math>\ldots \downharpoonleft \ldots \downharpoonright \ldots</math>
| <math>(\downharpoonleft s \downharpoonright)</math>
| <math>=\!</math>
| <math>=\!</math>
| <math>\ldots</math>
| <math>(p)\!</math>
|- style="height:52px"
|- style="height:52px"
|
|