12,122
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday October 25, 2025
Jump to navigationJump to searchDirectory: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>
