12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Propositional Calculus (view source)
Revision as of 19:22, 26 May 2009
, 19:22, 26 May 2009→Cactus calculus: table colors
* A concatenation of propositional expressions in the form <math>e_1~e_2~\ldots~e_{k-1}~e_k</math> indicates that all of the propositions <math>e_1, e_2, \ldots, e_{k-1}, e_k</math> are true, in other words, that their [[logical conjunction]] is true.
* A concatenation of propositional expressions in the form <math>e_1~e_2~\ldots~e_{k-1}~e_k</math> indicates that all of the propositions <math>e_1, e_2, \ldots, e_{k-1}, e_k</math> are true, in other words, that their [[logical conjunction]] is true.
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:96%"
<br>
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
|+ '''Table 4. Syntax and Semantics of a Propositional Calculus'''
|+ '''Table 4. Syntax and Semantics of a Propositional Calculus'''
|- style="background:ghostwhite"
|- style="background:#e6e6ff"
! Expression
! Expression
! Interpretation
! Interpretation
\end{matrix}</math>
\end{matrix}</math>
|}
|}
<br>
<br>