12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 12:50, 30 June 2009
, 12:50, 30 June 2009→Logical Cacti: markup
a ~\operatorname{equivalent~to}~ b
a ~\operatorname{equivalent~to}~ b
\end{matrix}</math>
\end{matrix}</math>
|}
|-
|
<pre>
o-------------------o
| |
| a b c |
| o--o--o |
| \ / |
| \ / |
| @ |
| |
o-------------------o
</pre>
| <math>\texttt{(} a, b, c \texttt{)}</math>
|
<math>\begin{matrix}
\operatorname{just~one~of}
\\
a, b, c
\\
\operatorname{is~false}
\end{matrix}</math>
|-
|
<pre>
o-------------------o
| |
| a b c |
| o o o |
| | | | |
| o--o--o |
| \ / |
| \ / |
| @ |
| |
o-------------------o
</pre>
| <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>
|
<math>\begin{matrix}
\operatorname{just~one~of}
\\
a, b, c
\\
\operatorname{is~true}
\end{matrix}</math>
|-
|
<pre>
<pre>
o-------------------o
| |
| |
| b c |
| o o |
| a | | |
| o--o--o |
| \ / |
| \ / |
| @ |
| |
o-------------------o
</pre>
</pre>
| <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>
|
<math>\begin{matrix}
\operatorname{genus}~ a ~\operatorname{with~species}~ b, c
\\[4pt]
\operatorname{partition}~ a ~\operatorname{among}~ b, c
\\[4pt]
\operatorname{pie}~ a ~\operatorname{with~slices}~ b, c
\end{matrix}</math>
|}
Table 14 illustrates the entitative interpretation of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms.
Table 14 illustrates the entitative interpretation of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms.