12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday September 11, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 17:46, 19 May 2008
, 17:46, 19 May 2008→Formal development: update
==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>
|}
|}
'''…'''
'''…'''
