12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 06:30, 31 May 2008
, 06:30, 31 May 2008→Archive 4: cleanup typos
| <p><math>(~)\!</math></p>
| <p><math>(~)\!</math></p>
| <p><math>\operatorname{false}</math></p>
| <p><math>\operatorname{false}</math></p>
| <p><math>1\!</math></p>
| <p><math>0\!</math></p>
|-
|-
|
|
| <p><math>(~)\!</math></p>
| <p><math>(~)\!</math></p>
| <p><math>\operatorname{false}</math></p>
| <p><math>\operatorname{false}</math></p>
| <p><math>1\!</math></p>
| <p><math>0\!</math></p>
|-
|-
|
|