12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 15:18, 9 July 2009
, 15:18, 9 July 2009→Cactus Language for Propositional Logic: + ref to minimal negation
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" width="90%"
| A parenthesized sequence of propositional expressions in the form <math>\texttt{(} e_1 \texttt{,} e_2 \texttt{,} \ldots \texttt{,} e_{k-1} \texttt{,} e_k \texttt{)}</math> indicates that exactly one of the propositions <math>e_1, e_2, \ldots, e_{k-1}, e_k</math> is false.
| A parenthesized sequence of propositional expressions in the form <math>\texttt{(} e_1 \texttt{,} e_2 \texttt{,} \ldots \texttt{,} e_{k-1} \texttt{,} e_k \texttt{)}</math> indicates that exactly one of the propositions <math>e_1, e_2, \ldots, e_{k-1}, e_k</math> is false, in other words, that their [[minimal negation]] is true.
|}
|}