12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 04:54, 29 May 2008
, 04:54, 29 May 2008→Variant 2: HTML --> TeX
| <math>f_{0000}\!</math>
| <math>f_{0000}\!</math>
| 0 0 0 0
| 0 0 0 0
| ( )
| <math>(~)\!</math>
| False
| False
| 0
| 0
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
(x)(y)<br>
<math>(x)(y)\!</math><br>
(x) y <br>
<math>(x) y\!</math><br>
x (y)<br>
<math>x (y)\!</math><br>
x y
<math>x y\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
(x)<br>
<math>(x)\!</math><br>
x
<math>x\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
(x, y)<br>
<math>(x, y)\!</math><br>
((x, y))
<math>((x, y))\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
(y)<br>
<math>(y)\!</math><br>
y
<math>y\!</math>
|}
|}
|
|
{| align="center" style="background:lightcyan"
{| align="center" style="background:lightcyan"
|
|
(x y)<br>
<math>(x y)\!</math><br>
(x (y))<br>
<math>(x (y))\!</math><br>
((x) y)<br>
<math>((x) y)\!</math><br>
((x)(y))
<math>((x)(y))\!</math>
|}
|}
|
|
| <math>f_{1111}\!</math>
| <math>f_{1111}\!</math>
| 1 1 1 1
| 1 1 1 1
| (( ))
| <math>((~))\!</math>
| True
| True
| 1
| 1