12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 09, 2025
Jump to navigationJump to searchDirectory 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
Line 1,845:
Line 1,845:
| <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
Line 1,853:
Line 1,853:
|
|
<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>
Line 1,910:
Line 1,910:
| <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>
