12,089
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 12:44, 22 May 2008
, 12:44, 22 May 2008→Formal development: fade tables to white
Table 4 summarizes the basic notations that are needed to describe ordinary propositional calculi in a parametric fashion.
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="text-align:left; width:96%"
|+ '''Table 4. Propositional Calculus : Basic Notation'''
|+ '''Table 4. Propositional Calculus : Basic Notation'''
|- style="background:paleturquoise"
|-
! Symbol
! Symbol
! Notation
! Notation
Table 5 summarizes the basic notations that are needed to describe the (first order) differential extensions of propositional calculi in a corresponding manner.
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="text-align:left; width:96%"
|+ '''Table 5. Differential Extension : Basic Notation'''
|+ '''Table 5. Differential Extension : Basic Notation'''
|- style="background:paleturquoise"
|-
! Symbol
! Symbol
! Notation
! Notation