12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 17:42, 19 May 2008
, 17:42, 19 May 2008→Formal development: add text
==Formal development==
==Formal development==
Table 4
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.
Table 4 summarizes the basic notations that are needed to describe ordinary propositional calculi in a parametric fashion.
{| 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>[\mathbb{B}^n]</math>
<math>[\mathbb{B}^n]</math>
|}
|}
Table 5
Table 5 summarizes the basic notations that are needed to describe the (first order) differential extensions of propositional calculi in a corresponding manner.
{| 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>[\mathbb{D}^n]</math>
<math>[\mathbb{D}^n]</math>
|}
|}
'''…'''
'''…'''