12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday September 10, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 20:41, 27 May 2008
, 20:41, 27 May 2008HTML --> TeX
| <math>(\!|~|\!)</math>
| <math>(\!|~|\!)</math>
| false
| false
| 0
| <math>0\!</math>
|-
|-
| <math>f_{1}\!</math>
| <math>f_{1}\!</math>
| <math>(\!|x|\!)(\!|y|\!)</math>
| <math>(\!|x|\!)(\!|y|\!)</math>
| neither x nor y
| neither x nor y
| ¬x ∧ ¬y
| <math>\lnot x \land \lnot y</math>
|-
|-
| <math>f_{2}\!</math>
| <math>f_{2}\!</math>
| <math>(\!|x|\!)\ y</math>
| <math>(\!|x|\!)\ y</math>
| y and not x
| y and not x
| ¬x ∧ y
| <math>\lnot x \land y</math>
|-
|-
| <math>f_{3}\!</math>
| <math>f_{3}\!</math>
| <math>(\!|x|\!)</math>
| <math>(\!|x|\!)</math>
| not x
| not x
| ¬x
| <math>\lnot x</math>
|-
|-
| <math>f_{4}\!</math>
| <math>f_{4}\!</math>
| <math>x\ (\!|y|\!)</math>
| <math>x\ (\!|y|\!)</math>
| x and not y
| x and not y
| x ∧ ¬y
| <math>x \land \lnot y</math>
|-
|-
| <math>f_{5}\!</math>
| <math>f_{5}\!</math>
| <math>(\!|y|\!)</math>
| <math>(\!|y|\!)</math>
| not y
| not y
| ¬y
| <math>\lnot y</math>
|-
|-
| <math>f_{6}\!</math>
| <math>f_{6}\!</math>
| <math>(\!|x,\ y|\!)</math>
| <math>(\!|x,\ y|\!)</math>
| x not equal to y
| x not equal to y
| x ≠ y
| <math>x \ne y</math>
|-
|-
| <math>f_{7}\!</math>
| <math>f_{7}\!</math>
| <math>(\!|x\ y|\!)</math>
| <math>(\!|x\ y|\!)</math>
| not both x and y
| not both x and y
| ¬x ∨ ¬y
| <math>\lnot x \lor \lnot y</math>
|-
|-
| <math>f_{8}\!</math>
| <math>f_{8}\!</math>
| <math>x\ y</math>
| <math>x\ y</math>
| x and y
| x and y
| x ∧ y
| <math>x \land y</math>
|-
|-
| <math>f_{9}\!</math>
| <math>f_{9}\!</math>
| <math>(\!|(\!|x,\ y|\!)|\!)</math>
| <math>(\!|(\!|x,\ y|\!)|\!)</math>
| x equal to y
| x equal to y
| x = y
| <math>x = y\!</math>
|-
|-
| <math>f_{10}\!</math>
| <math>f_{10}\!</math>
| <math>y\!</math>
| <math>y\!</math>
| y
| y
| y
| <math>y\!</math>
|-
|-
| <math>f_{11}\!</math>
| <math>f_{11}\!</math>
| <math>(\!|x\ (\!|y|\!)|\!)</math>
| <math>(\!|x\ (\!|y|\!)|\!)</math>
| not x without y
| not x without y
| x → y
| <math>x \Rightarrow y</math>
|-
|-
| <math>f_{12}\!</math>
| <math>f_{12}\!</math>
| <math>x\!</math>
| <math>x\!</math>
| x
| x
| x
| <math>x\!</math>
|-
|-
| <math>f_{13}\!</math>
| <math>f_{13}\!</math>
| <math>(\!|(\!|x|\!)\ y|\!)</math>
| <math>(\!|(\!|x|\!)\ y|\!)</math>
| not y without x
| not y without x
| x ← y
| <math>x \Leftarrow y</math>
|-
|-
| <math>f_{14}\!</math>
| <math>f_{14}\!</math>
| <math>(\!|(\!|x|\!)(\!|y|\!)|\!)</math>
| <math>(\!|(\!|x|\!)(\!|y|\!)|\!)</math>
| x or y
| x or y
| x ∨ y
| <math>x \lor y</math>
|-
|-
| <math>f_{15}\!</math>
| <math>f_{15}\!</math>
| <math>(\!|(\!|~|\!)|\!)</math>
| <math>(\!|(\!|~|\!)|\!)</math>
| true
| true
| 1
| <math>1\!</math>
|}
|}
<br>
<br>
