12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 04:58, 30 June 2009
, 04:58, 30 June 2009→Original Version: markup
| <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math>
| <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math>
| <math>a ~\operatorname{or}~ b ~\operatorname{or}~ c</math>
| <math>a ~\operatorname{or}~ b ~\operatorname{or}~ c</math>
|-
|
<pre>
o-------------------o
| |
| |
| a b |
| o---o |
| | |
| @ |
| |
o-------------------o
</pre>
| <math>\texttt{(} a \texttt{(} b \texttt{))}</math>
|
<math>\begin{matrix}
a ~\operatorname{implies}~ b
\\[4pt]
\operatorname{if}~ a ~\operatorname{then}~ b
\\[4pt]
\operatorname{no}~ a ~\operatorname{sans}~ b
\end{matrix}</math>
|}
|}
<pre>
<pre>
o----o-------------------o-------------------o-------------------o
o----o-------------------o-------------------o-------------------o
| | | | |
| | | | |