12,140
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 3.0 (view source)
Revision as of 15:46, 3 October 2013
, 15:46, 3 October 2013update
<br>
<br>
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:75%"
|+ <math>\text{Table 1.} ~~ \text{Syntax and Semantics of a Calculus for Propositional Logic}</math>
|+ style="height:30px" | <math>\text{Table 1.} ~~ \text{Syntax and Semantics of a Calculus for Propositional Logic}\!</math>
|- style="background:#f0f0ff"
|- style="height:40px; background:ghostwhite"
| <math>\text{Graph}\!</math>
| <math>\text{Graph}\!</math>
| <math>\text{Expression}~\!</math>
| <math>\text{Expression}~\!</math>
|-
|-
| <math>A_i\!</math>
| <math>A_i\!</math>
| <math>\{ (a_i), a_i \}\!</math>
| <math>\{ \texttt{(} a_i \texttt{)}, a_i \}\!</math>
| <math>\text{Dimension}~ i\!</math>
| <math>\text{Dimension}~ i\!</math>
| <math>\mathbb{B}\!</math>
| <math>\mathbb{B}\!</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
\underline{X}_i & = & \{ (\underline{x}_i), \underline{x}_i \}
\underline{X}_i & = & \{ \texttt{(} \underline{x}_i \texttt{)}, \underline{x}_i \}
\\
\\
& \cong & \mathbb{B}
& \cong & \mathbb{B}
|
|
<math>\begin{matrix}
<math>\begin{matrix}
A_i & = & \{ (a_i), a_i \}
A_i & = & \{ \texttt{(} a_i \texttt{)}, a_i \}
\\
\\
& \cong & \mathbb{B}
& \cong & \mathbb{B}
|-
|-
| <math>\mathrm{d}A_i\!</math>
| <math>\mathrm{d}A_i\!</math>
| <math>\{ (\mathrm{d}a_i), \mathrm{d}a_i \}~\!</math>
| <math>\{ \texttt{(} \mathrm{d}a_i \texttt{)}, \mathrm{d}a_i \}\!</math>
| <math>\text{Differential dimension}~ i\!</math>
| <math>\text{Differential dimension}~ i\!</math>
| <math>\mathbb{D}\!</math>
| <math>\mathbb{D}\!</math>