12,123
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 17:52, 29 May 2008
, 17:52, 29 May 2008→Work Area 1: HTML --> TeX
| <p>0 0 0 0</p>
| <p>0 0 0 0</p>
| <p><math>(~)\!</math></p>
| <p><math>(~)\!</math></p>
| <p>False</p>
| <p><math>\operatorname{false}</math></p>
| <p><math>1\!</math></p>
| <p><math>1\!</math></p>
|-
|-
{| align="center"
{| align="center"
|
|
<p>Neither x nor y</p><br>
<p><math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math></p><br>
<p>Not x but y</p><br>
<p><math>y\ \operatorname{without}\ x</math></p><br>
<p>x but not y</p><br>
<p><math>x\ \operatorname{without}\ y</math></p><br>
<p>x and y</p>
<p><math>x\ \operatorname{and}\ y</math></p>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>Not x</p><br>
<p><math>\operatorname{not}\ x</math></p><br>
<p>x</p>
<p><math>x\!</math></p>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p><math>(x, y)\!</math></p><br>
<p><math>(x,\ y)\!</math></p><br>
<p><math>((x, y))\!</math></p>
<p><math>((x,\ y))\!</math></p>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>x not equal to y</p><br>
<p><math>x\ \operatorname{not~equal~to}\ y</math></p><br>
<p>x equal to y</p>
<p><math>x\ \operatorname{equal~to}\ y</math></p>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>Not y</p><br>
<p><math>\operatorname{not}\ y</math></p><br>
<p>y</p>
<p><math>y\!</math></p>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>Not both x and y</p><br>
<p><math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math></p><br>
<p>Not x without y</p><br>
<p><math>\operatorname{not}\ x\ \operatorname{without}\ y</math></p><br>
<p>Not y without x</p><br>
<p><math>\operatorname{not}\ y\ \operatorname{without}\ x</math></p><br>
<p>x or y</p>
<p><math>x\ \operatorname{or}\ y</math></p>
|}
|}
|
|
| <p>1 1 1 1</p>
| <p>1 1 1 1</p>
| <p><math>((~))\!</math></p>
| <p><math>((~))\!</math></p>
| <p>True</p>
| <p><math>\operatorname{true}</math></p>
| <p><math>1\!</math></p>
| <p><math>1\!</math></p>
|}
|}
| <math>((~))\!</math>
| <math>((~))\!</math>
| <math>((~))\!</math>
| <math>((~))\!</math>
|}
|}<br>
<br>
<pre>
<pre>