12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 04:20, 30 May 2008
, 04:20, 30 May 2008→Work Area 1: | height="40px" |
|-
|-
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>f_{0}\!</math></p>
| height="40px" | <p><math>f_{0}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1}\!</math></p>
| height="40px" | <p><math>f_{1}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{2}\!</math></p>
| height="40px" | <p><math>f_{2}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{3}\!</math></p>
| height="40px" | <p><math>f_{3}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{4}\!</math></p>
| height="40px" | <p><math>f_{4}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{5}\!</math></p>
| height="40px" | <p><math>f_{5}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{6}\!</math></p>
| height="40px" | <p><math>f_{6}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{7}\!</math></p>
| height="40px" | <p><math>f_{7}\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>f_{0000}\!</math></p>
| height="40px" | <p><math>f_{0000}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0001}\!</math></p>
| height="40px" | <p><math>f_{0001}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0010}\!</math></p>
| height="40px" | <p><math>f_{0010}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0011}\!</math></p>
| height="40px" | <p><math>f_{0011}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0100}\!</math></p>
| height="40px" | <p><math>f_{0100}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0101}\!</math></p>
| height="40px" | <p><math>f_{0101}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0110}\!</math></p>
| height="40px" | <p><math>f_{0110}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0111}\!</math></p>
| height="40px" | <p><math>f_{0111}\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | 0 0 0 0
| height="40px" | 0 0 0 0
|-
|-
| height="50px" | 0 0 0 1
| height="40px" | 0 0 0 1
|-
|-
| height="50px" | 0 0 1 0
| height="40px" | 0 0 1 0
|-
|-
| height="50px" | 0 0 1 1
| height="40px" | 0 0 1 1
|-
|-
| height="50px" | 0 1 0 0
| height="40px" | 0 1 0 0
|-
|-
| height="50px" | 0 1 0 1
| height="40px" | 0 1 0 1
|-
|-
| height="50px" | 0 1 1 0
| height="40px" | 0 1 1 0
|-
|-
| height="50px" | 0 1 1 1
| height="40px" | 0 1 1 1
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>(~)\!</math></p>
| height="40px" | <p><math>(~)\!</math></p>
|-
|-
| height="50px" | <p><math>(x)(y)\!</math></p>
| height="40px" | <p><math>(x)(y)\!</math></p>
|-
|-
| height="50px" | <p><math>(x)\ y\!</math></p>
| height="40px" | <p><math>(x)\ y\!</math></p>
|-
|-
| height="50px" | <p><math>(x)\!</math></p>
| height="40px" | <p><math>(x)\!</math></p>
|-
|-
| height="50px" | <p><math>x\ (y)\!</math></p>
| height="40px" | <p><math>x\ (y)\!</math></p>
|-
|-
| height="50px" | <p><math>(y)\!</math></p>
| height="40px" | <p><math>(y)\!</math></p>
|-
|-
| height="50px" | <p><math>(x,\ y)\!</math></p>
| height="40px" | <p><math>(x,\ y)\!</math></p>
|-
|-
| height="50px" | <p><math>(x\ y)\!</math></p>
| height="40px" | <p><math>(x\ y)\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>\operatorname{false}</math></p>
| height="40px" | <p><math>\operatorname{false}</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math></p>
| height="40px" | <p><math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math></p>
|-
|-
| height="50px" | <p><math>y\ \operatorname{without}\ x</math></p>
| height="40px" | <p><math>y\ \operatorname{without}\ x</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{not}\ x</math></p>
| height="40px" | <p><math>\operatorname{not}\ x</math></p>
|-
|-
| height="50px" | <p><math>x\ \operatorname{without}\ y</math></p>
| height="40px" | <p><math>x\ \operatorname{without}\ y</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{not}\ y</math></p>
| height="40px" | <p><math>\operatorname{not}\ y</math></p>
|-
|-
| height="50px" | <p><math>x\ \operatorname{not~equal~to}\ y</math></p>
| height="40px" | <p><math>x\ \operatorname{not~equal~to}\ y</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math></p>
| height="40px" | <p><math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
|
|
|-
|-
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>f_{8}\!</math></p>
| height="40px" | <p><math>f_{8}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{9}\!</math></p>
| height="40px" | <p><math>f_{9}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{10}\!</math></p>
| height="40px" | <p><math>f_{10}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{11}\!</math></p>
| height="40px" | <p><math>f_{11}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{12}\!</math></p>
| height="40px" | <p><math>f_{12}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{13}\!</math></p>
| height="40px" | <p><math>f_{13}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{14}\!</math></p>
| height="40px" | <p><math>f_{14}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{15}\!</math></p>
| height="40px" | <p><math>f_{15}\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>f_{1000}\!</math></p>
| height="40px" | <p><math>f_{1000}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1001}\!</math></p>
| height="40px" | <p><math>f_{1001}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1010}\!</math></p>
| height="40px" | <p><math>f_{1010}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1011}\!</math></p>
| height="40px" | <p><math>f_{1011}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1100}\!</math></p>
| height="40px" | <p><math>f_{1100}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1101}\!</math></p>
| height="40px" | <p><math>f_{1101}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1110}\!</math></p>
| height="40px" | <p><math>f_{1110}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1111}\!</math></p>
| height="40px" | <p><math>f_{1111}\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | 1 0 0 0
| height="40px" | 1 0 0 0
|-
|-
| height="50px" | 1 0 0 1
| height="40px" | 1 0 0 1
|-
|-
| height="50px" | 1 0 1 0
| height="40px" | 1 0 1 0
|-
|-
| height="50px" | 1 0 1 1
| height="40px" | 1 0 1 1
|-
|-
| height="50px" | 1 1 0 0
| height="40px" | 1 1 0 0
|-
|-
| height="50px" | 1 1 0 1
| height="40px" | 1 1 0 1
|-
|-
| height="50px" | 1 1 1 0
| height="40px" | 1 1 1 0
|-
|-
| height="50px" | 1 1 1 1
| height="40px" | 1 1 1 1
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>x\ y\!</math></p>
| height="40px" | <p><math>x\ y\!</math></p>
|-
|-
| height="50px" | <p><math>((x,\ y))\!</math></p>
| height="40px" | <p><math>((x,\ y))\!</math></p>
|-
|-
| height="50px" | <p><math>y\!</math></p>
| height="40px" | <p><math>y\!</math></p>
|-
|-
| height="50px" | <p><math>(x\ (y))\!</math></p>
| height="40px" | <p><math>(x\ (y))\!</math></p>
|-
|-
| height="50px" | <p><math>x\!</math></p>
| height="40px" | <p><math>x\!</math></p>
|-
|-
| height="50px" | <p><math>((x)\ y)\!</math></p>
| height="40px" | <p><math>((x)\ y)\!</math></p>
|-
|-
| height="50px" | <p><math>((x)(y))\!</math></p>
| height="40px" | <p><math>((x)(y))\!</math></p>
|-
|-
| height="50px" | <p><math>((~))\!</math></p>
| height="40px" | <p><math>((~))\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>x\ \operatorname{and}\ y</math></p>
| height="40px" | <p><math>x\ \operatorname{and}\ y</math></p>
|-
|-
| height="50px" | <p><math>x\ \operatorname{equal~to}\ y</math></p>
| height="40px" | <p><math>x\ \operatorname{equal~to}\ y</math></p>
|-
|-
| height="50px" | <p><math>y\!</math></p>
| height="40px" | <p><math>y\!</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{not}\ x\ \operatorname{without}\ y</math></p>
| height="40px" | <p><math>\operatorname{not}\ x\ \operatorname{without}\ y</math></p>
|-
|-
| height="50px" | <p><math>x\!</math></p>
| height="40px" | <p><math>x\!</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{not}\ y\ \operatorname{without}\ x</math></p>
| height="40px" | <p><math>\operatorname{not}\ y\ \operatorname{without}\ x</math></p>
|-
|-
| height="50px" | <p><math>x\ \operatorname{or}\ y</math></p>
| height="40px" | <p><math>x\ \operatorname{or}\ y</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{true}</math></p>
| height="40px" | <p><math>\operatorname{true}</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
|
|
|-
|-
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>f_{0}\!</math></p>
| height="40px" | <p><math>f_{0}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1}\!</math></p>
| height="40px" | <p><math>f_{1}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{2}\!</math></p>
| height="40px" | <p><math>f_{2}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{3}\!</math></p>
| height="40px" | <p><math>f_{3}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{4}\!</math></p>
| height="40px" | <p><math>f_{4}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{5}\!</math></p>
| height="40px" | <p><math>f_{5}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{6}\!</math></p>
| height="40px" | <p><math>f_{6}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{7}\!</math></p>
| height="40px" | <p><math>f_{7}\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>f_{0000}\!</math></p>
| height="40px" | <p><math>f_{0000}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0001}\!</math></p>
| height="40px" | <p><math>f_{0001}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0010}\!</math></p>
| height="40px" | <p><math>f_{0010}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0011}\!</math></p>
| height="40px" | <p><math>f_{0011}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0100}\!</math></p>
| height="40px" | <p><math>f_{0100}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0101}\!</math></p>
| height="40px" | <p><math>f_{0101}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0110}\!</math></p>
| height="40px" | <p><math>f_{0110}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{0111}\!</math></p>
| height="40px" | <p><math>f_{0111}\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | 0 0 0 0
| height="40px" | 0 0 0 0
|-
|-
| height="50px" | 0 0 0 1
| height="40px" | 0 0 0 1
|-
|-
| height="50px" | 0 0 1 0
| height="40px" | 0 0 1 0
|-
|-
| height="50px" | 0 0 1 1
| height="40px" | 0 0 1 1
|-
|-
| height="50px" | 0 1 0 0
| height="40px" | 0 1 0 0
|-
|-
| height="50px" | 0 1 0 1
| height="40px" | 0 1 0 1
|-
|-
| height="50px" | 0 1 1 0
| height="40px" | 0 1 1 0
|-
|-
| height="50px" | 0 1 1 1
| height="40px" | 0 1 1 1
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>(~)\!</math></p>
| height="40px" | <p><math>(~)\!</math></p>
|-
|-
| height="50px" | <p><math>(x)(y)\!</math></p>
| height="40px" | <p><math>(x)(y)\!</math></p>
|-
|-
| height="50px" | <p><math>(x)\ y\!</math></p>
| height="40px" | <p><math>(x)\ y\!</math></p>
|-
|-
| height="50px" | <p><math>(x)\!</math></p>
| height="40px" | <p><math>(x)\!</math></p>
|-
|-
| height="50px" | <p><math>x\ (y)\!</math></p>
| height="40px" | <p><math>x\ (y)\!</math></p>
|-
|-
| height="50px" | <p><math>(y)\!</math></p>
| height="40px" | <p><math>(y)\!</math></p>
|-
|-
| height="50px" | <p><math>(x,\ y)\!</math></p>
| height="40px" | <p><math>(x,\ y)\!</math></p>
|-
|-
| height="50px" | <p><math>(x\ y)\!</math></p>
| height="40px" | <p><math>(x\ y)\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>\operatorname{false}</math></p>
| height="40px" | <p><math>\operatorname{false}</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math></p>
| height="40px" | <p><math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math></p>
|-
|-
| height="50px" | <p><math>y\ \operatorname{without}\ x</math></p>
| height="40px" | <p><math>y\ \operatorname{without}\ x</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{not}\ x</math></p>
| height="40px" | <p><math>\operatorname{not}\ x</math></p>
|-
|-
| height="50px" | <p><math>x\ \operatorname{without}\ y</math></p>
| height="40px" | <p><math>x\ \operatorname{without}\ y</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{not}\ y</math></p>
| height="40px" | <p><math>\operatorname{not}\ y</math></p>
|-
|-
| height="50px" | <p><math>x\ \operatorname{not~equal~to}\ y</math></p>
| height="40px" | <p><math>x\ \operatorname{not~equal~to}\ y</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math></p>
| height="40px" | <p><math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
|
|
|-
|-
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>f_{8}\!</math></p>
| height="40px" | <p><math>f_{8}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{9}\!</math></p>
| height="40px" | <p><math>f_{9}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{10}\!</math></p>
| height="40px" | <p><math>f_{10}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{11}\!</math></p>
| height="40px" | <p><math>f_{11}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{12}\!</math></p>
| height="40px" | <p><math>f_{12}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{13}\!</math></p>
| height="40px" | <p><math>f_{13}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{14}\!</math></p>
| height="40px" | <p><math>f_{14}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{15}\!</math></p>
| height="40px" | <p><math>f_{15}\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>f_{1000}\!</math></p>
| height="40px" | <p><math>f_{1000}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1001}\!</math></p>
| height="40px" | <p><math>f_{1001}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1010}\!</math></p>
| height="40px" | <p><math>f_{1010}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1011}\!</math></p>
| height="40px" | <p><math>f_{1011}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1100}\!</math></p>
| height="40px" | <p><math>f_{1100}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1101}\!</math></p>
| height="40px" | <p><math>f_{1101}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1110}\!</math></p>
| height="40px" | <p><math>f_{1110}\!</math></p>
|-
|-
| height="50px" | <p><math>f_{1111}\!</math></p>
| height="40px" | <p><math>f_{1111}\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | 1 0 0 0
| height="40px" | 1 0 0 0
|-
|-
| height="50px" | 1 0 0 1
| height="40px" | 1 0 0 1
|-
|-
| height="50px" | 1 0 1 0
| height="40px" | 1 0 1 0
|-
|-
| height="50px" | 1 0 1 1
| height="40px" | 1 0 1 1
|-
|-
| height="50px" | 1 1 0 0
| height="40px" | 1 1 0 0
|-
|-
| height="50px" | 1 1 0 1
| height="40px" | 1 1 0 1
|-
|-
| height="50px" | 1 1 1 0
| height="40px" | 1 1 1 0
|-
|-
| height="50px" | 1 1 1 1
| height="40px" | 1 1 1 1
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>x\ y\!</math></p>
| height="40px" | <p><math>x\ y\!</math></p>
|-
|-
| height="50px" | <p><math>((x,\ y))\!</math></p>
| height="40px" | <p><math>((x,\ y))\!</math></p>
|-
|-
| height="50px" | <p><math>y\!</math></p>
| height="40px" | <p><math>y\!</math></p>
|-
|-
| height="50px" | <p><math>(x\ (y))\!</math></p>
| height="40px" | <p><math>(x\ (y))\!</math></p>
|-
|-
| height="50px" | <p><math>x\!</math></p>
| height="40px" | <p><math>x\!</math></p>
|-
|-
| height="50px" | <p><math>((x)\ y)\!</math></p>
| height="40px" | <p><math>((x)\ y)\!</math></p>
|-
|-
| height="50px" | <p><math>((x)(y))\!</math></p>
| height="40px" | <p><math>((x)(y))\!</math></p>
|-
|-
| height="50px" | <p><math>((~))\!</math></p>
| height="40px" | <p><math>((~))\!</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
| height="50px" | <p><math>x\ \operatorname{and}\ y</math></p>
| height="40px" | <p><math>x\ \operatorname{and}\ y</math></p>
|-
|-
| height="50px" | <p><math>x\ \operatorname{equal~to}\ y</math></p>
| height="40px" | <p><math>x\ \operatorname{equal~to}\ y</math></p>
|-
|-
| height="50px" | <p><math>y\!</math></p>
| height="40px" | <p><math>y\!</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{not}\ x\ \operatorname{without}\ y</math></p>
| height="40px" | <p><math>\operatorname{not}\ x\ \operatorname{without}\ y</math></p>
|-
|-
| height="50px" | <p><math>x\!</math></p>
| height="40px" | <p><math>x\!</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{not}\ y\ \operatorname{without}\ x</math></p>
| height="40px" | <p><math>\operatorname{not}\ y\ \operatorname{without}\ x</math></p>
|-
|-
| height="50px" | <p><math>x\ \operatorname{or}\ y</math></p>
| height="40px" | <p><math>x\ \operatorname{or}\ y</math></p>
|-
|-
| height="50px" | <p><math>\operatorname{true}</math></p>
| height="40px" | <p><math>\operatorname{true}</math></p>
|}
|}
|
|
{| align="center" style="height:400px"
{| align="center"
|-
|-
|
|