12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 15:56, 18 May 2008
, 15:56, 18 May 2008→Work Area: HTML --> TeX
| <math>(\mathbb{B}^n)^* \cong \mathbb{B}^n</math>
| <math>(\mathbb{B}^n)^* \cong \mathbb{B}^n</math>
|-
|-
| <math>A\!\uparrow</math>
| <math>A^\uparrow</math>
| <math>(A \to \mathbb{B})</math>
| <math>(A \to \mathbb{B})</math>
| Boolean functions
| Boolean functions
|
|
<math>[ \mathcal{A} ]</math><br>
<math>[ \mathcal{A} ]</math><br>
<math>(A, A\!\uparrow)</math><br>
<math>(A, A^\uparrow)</math><br>
<math>(A\ +\!\to \mathbb{B})</math><br>
<math>(A\ +\!\to \mathbb{B})</math><br>
<math>(A, (A \to \mathbb{B}))</math><br>
<math>(A, (A \to \mathbb{B}))</math><br>
| <math>\mathbb{D}^n</math>
| <math>\mathbb{D}^n</math>
|-
|-
| d''A''*
| <math>\operatorname{d}A^*</math>
| (hom : d''A'' → '''B''')
| <math>(\operatorname{hom} : \operatorname{d}A \to \mathbb{B})</math>
|
|
Linear functions<br>
Linear functions<br>
on d''A''
on <math>\operatorname{d}A</math>
| ('''D'''<sup>''n''</sup>)* = '''D'''<sup>''n''</sup>
| <math>(\mathbb{D}^n)^* \cong \mathbb{D}^n</math>
|-
|-
| d''A''^
| <math>\operatorname{d}A^\uparrow</math>
| (d''A'' → '''B''')
| <math>(\operatorname{d}A \to \mathbb{B})</math>
|
|
Boolean functions<br>
Boolean functions<br>
on d''A''
on <math>\operatorname{d}A</math>
| '''D'''<sup>''n''</sup> → '''B'''
| <math>\mathbb{D}^n \to \mathbb{B}</math>
|-
|-
| d''A''<sup>•</sup>
| d''A''<sup>•</sup>