12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 16:50, 29 November 2015
, 16:50, 29 November 2015→Cactus Language for Propositional Logic
| <math>0\!</math>
| <math>0\!</math>
|-
|-
| height="100px" | [[Image:Cactus A Big.jpg|20px]]
| height="100px" | [[File:Cactus A Big.jpg|20px]]
| <math>a\!</math>
| <math>a\!</math>
| <math>a\!</math>
| <math>a\!</math>
It is important to note that the last expressions are not equivalent to the 3-place parenthesis <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}.\!</math>
It is important to note that the last expressions are not equivalent to the 3-place parenthesis <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}.\!</math>
==Logical Cacti==
==Logical Cacti==