12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday November 27, 2024
Jump to navigationJump to searchDirectory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 03:10, 18 May 2008
, 03:10, 18 May 2008→Work Area: HTML --> TeX
<math>\{ (a_1, \ldots, a_n) \}\!</math>
<math>\{ (a_1, \ldots, a_n) \}\!</math>
<math>A_1 \times \ldots \times A_n</math><br>
<math>A_1 \times \ldots \times A_n</math><br>
<math>\prod_i A_i\!</math>
<math>\textstyle \prod_i A_i\!</math>
|
|
Set of cells,<br>
Set of cells,<br>
With these constructions, to be specific, the differential extension E''A'' and the differential proposition ''h'' : E''A'' → '''B''', we have arrived, in concept at least, at one of the major subgoals of this study. At this juncture, I pause by way of summary to set another Table with the current crop of mathematical produce (Table 8).
With these constructions, to be specific, the differential extension E''A'' and the differential proposition ''h'' : E''A'' → '''B''', we have arrived, in concept at least, at one of the major subgoals of this study. At this juncture, I pause by way of summary to set another Table with the current crop of mathematical produce (Table 8).
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:left; width:96%"
|+ '''Table 8. Notation for the Differential Extension of Propositional Calculus'''
|+ '''Table 8. Notation for the Differential Extension of Propositional Calculus'''
! Type
! Type
|-
|-
| d<font face="lucida calligraphy">A<font>
| <math>\operatorname{d}\mathcal{A}</math>
| {d''a''<sub>1</sub>, …, d''a''<sub>''n''</sub>}
| <math>\{ \operatorname{d}a_1, \ldots, \operatorname{d}a_n \}</math>
|
|
Alphabet of<br>
Alphabet of<br>
differential<br>
differential<br>
features
features
| [''n''] = '''n'''
| <math>[n] = \mathbf{n}</math>
|-
|-
| d''A''<sub>''i''</sub>
| d''A''<sub>''i''</sub>
['''D'''<sup>''n''</sup>]
['''D'''<sup>''n''</sup>]
|}
|}
<br>
