Changes

Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)

Revision as of 16:36, 29 May 2008

508 bytes added , 16:36, 29 May 2008

→‎Work Area 3: HTML --> TeX

Line 2,750: Line 2,750:

| 0 0 0 0

| <math>(~)\!</math>

−

| false

+

| <math>\operatorname{false}</math>

| <math>0\!</math>

|-

Line 2,757: Line 2,757:

| 0 0 0 1

| <math>(x)(y)\!</math>

−

| neither x nor y

+

| <math>\operatorname{neither}\ x\ \operatorname{nor}\ y</math>

| <math>\lnot x \land \lnot y\!</math>

|-

Line 2,764: Line 2,764:

| 0 0 1 0

| <math>(x)\ y\!</math>

−

| y ~~and not~~ x

+

| <math>y\ \operatorname{without}\ x</math>

| <math>\lnot x \land y\!</math>

|-

Line 2,771: Line 2,771:

| 0 0 1 1

| <math>(x)\!</math>

−

| not x

+

| <math>\operatorname{not}\ x</math>

| <math>\lnot x\!</math>

|-

Line 2,778: Line 2,778:

| 0 1 0 0

| <math>x\ (y)\!</math>

−

| x ~~and not~~ y

+

| <math>x\ \operatorname{without}\ y</math>

| <math>x \land \lnot y\!</math>

|-

Line 2,785: Line 2,785:

| 0 1 0 1

| <math>(y)\!</math>

−

| not y

+

| <math>\operatorname{not}\ y</math>

| <math>\lnot y\!</math>

|-

Line 2,792: Line 2,792:

| 0 1 1 0

| <math>(x,\ y)\!</math>

−

| x not equal to y

+

| <math>x\ \operatorname{not~equal~to}\ y</math>

| <math>x \ne y\!</math>

|-

Line 2,799: Line 2,799:

| 0 1 1 1

| <math>(x\ y)\!</math>

−

| not both x and y

+

| <math>\operatorname{not~both}\ x\ \operatorname{and}\ y</math>

| <math>\lnot x \lor \lnot y\!</math>

|-

Line 2,806: Line 2,806:

| 1 0 0 0

| <math>x\ y\!</math>

−

| x and y

+

| <math>x\ \operatorname{and}\ y</math>

| <math>x \land y\!</math>

|-

Line 2,813: Line 2,813:

| 1 0 0 1

| <math>((x,\ y))\!</math>

−

| x equal to y

+

| <math>x\ \operatorname{equal~to}\ y</math>

| <math>x = y\!</math>

|-

Line 2,820: Line 2,820:

| 1 0 1 0

| <math>y\!</math>

−

| y

+

| <math>y\!</math>

|-

Line 2,827: Line 2,827:

| 1 0 1 1

| <math>(x\ (y))\!</math>

−

| not x without y

+

| <math>\operatorname{not}\ x\ \operatorname{without}\ y</math>

| <math>x \Rightarrow y\!</math>

|-

Line 2,834: Line 2,834:

| 1 1 0 0

| <math>x\!</math>

−

| x

+

| <math>x\!</math>

|-

Line 2,841: Line 2,841:

| 1 1 0 1

| <math>((x)\ y)\!</math>

−

| not y without x

+

| <math>\operatorname{not}\ y\ \operatorname{without}\ x</math>

| <math>x \Leftarrow y\!</math>

|-

Line 2,848: Line 2,848:

| 1 1 1 0

| <math>((x)(y))\!</math>

−

| x or y

+

| <math>x\ \operatorname{or}\ y</math>

| <math>x \lor y\!</math>

|-

Line 2,855: Line 2,855:

| 1 1 1 1

| <math>((~))\!</math>

−

| true

+

| <math>\operatorname{true}</math>

| <math>1\!</math>

|}

Jon Awbrey

12,080

edits