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