12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 04:06, 22 May 2008
, 04:06, 22 May 2008→Formal development: rework tables
The preceding discussion outlined the ideas leading to the differential extension of propositional logic. The next task is to lay out the concepts and terminology that are needed to describe various orders of differential propositional calculi.
The preceding discussion outlined the ideas leading to the differential extension of propositional logic. The next task is to lay out the concepts and terminology that are needed to describe various orders of differential propositional calculi.
{| 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%"
|-
|-
| <math>\mathfrak{A}</math>
| <math>\mathfrak{A}</math>
| <math>\{ \mathfrak{a}_1, \ldots, \mathfrak{a}_n \}</math>
| <math>\lbrace\!</math> “<math>a_1\!</math>” <math>, \ldots,\!</math> “<math>a_n\!</math>” <math>\rbrace\!</math>
| Alphabet
| Alphabet
| <math>[n] = \mathbf{n}</math>
| <math>[n] = \mathbf{n}</math>
|-
|-
| <math>\operatorname{d}\mathfrak{A}</math>
| <math>\operatorname{d}\mathfrak{A}</math>
| <math>\{ \operatorname{d}\mathfrak{a}_1, \ldots, \operatorname{d}\mathfrak{a}_n \}</math>
| <math>\lbrace\!</math> “<math>\operatorname{d}a_1</math>” <math>, \ldots,\!</math> “<math>\operatorname{d}a_n</math>” <math>\rbrace\!</math>
| Alphabet of<br>
| Alphabet of<br>
differential<br>
differential<br>