12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 02:42, 18 September 2009
, 02:42, 18 September 2009→Cactus Language for Propositional Logic: switch order of terms
<math>\begin{matrix}
<math>\begin{matrix}
a + b + c
a + b + c
& = &
\texttt{(} a \texttt{,(} b \texttt{,} c \texttt{))}
& = &
& = &
\texttt{((} a \texttt{,} b \texttt{),} c \texttt{)}
\texttt{((} a \texttt{,} b \texttt{),} c \texttt{)}
\end{matrix}</math>
\end{matrix}</math>
|}
|}