12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 18:38, 2 December 2015
, 18:38, 2 December 2015→Logical Cacti
==Place for Discussion==
==Work Area • Logical Cacti==
…
; Theme One Program — Logical Cacti
; Theme One Program — Logical Cacti
: http://stderr.org/pipermail/inquiry/2005-February/002361.html
: http://stderr.org/pipermail/inquiry/2005-February/002361.html
===Original Version===
Up till now we've been working to hammer out a two-edged sword of syntax, honing the syntax of ''painted and rooted cacti and expressions'' (PARCAE), and turning it to use in taming the syntax of two-level formal languages.
Up till now we've been working to hammer out a two-edged sword of syntax, honing the syntax of ''painted and rooted cacti and expressions'' (PARCAE), and turning it to use in taming the syntax of two-level formal languages.
Table A illustrates the existential interpretation of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms.
Table A illustrates the existential interpretation of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms.
<br>
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
| <math>\text{Interpretation}\!</math>
| <math>\text{Interpretation}\!</math>
|-
|-
|
| height="100px" | [[Image:Cactus Node Big Fat.jpg|20px]]
| |
| <math>{}^{\backprime\backprime}\texttt{~}{}^{\prime\prime}</math>
| <math>{}^{\backprime\backprime}\texttt{~}{}^{\prime\prime}</math>
| <math>\operatorname{true}.</math>
| <math>\operatorname{true}.</math>
|-
|-
|
| height="100px" | [[Image:Cactus Spike Big Fat.jpg|20px]]
| |
| <math>\texttt{(~)}</math>
| <math>\texttt{(~)}</math>
| <math>\operatorname{false}.</math>
| <math>\operatorname{false}.</math>
|-
|-
|
| height="100px" | [[Image:Cactus A Big.jpg|20px]]
| |
| <math>a\!</math>
| <math>a\!</math>
| <math>a.\!</math>
| <math>a.\!</math>
|-
|-
| height="120px" | [[Image:Cactus (A) Big.jpg|20px]]
| <math>\texttt{(} a \texttt{)}</math>
|
|
<pre>
<math>\begin{matrix}
\tilde{a}
\\[2pt]
a^\prime
\\[2pt]
\lnot a
\\[2pt]
\operatorname{not}~ a.
\end{matrix}</math>
|-
|-
| height="100px" | [[Image:Cactus ABC Big.jpg|50px]]
| <math>a~b~c</math>
|
|
<pre>
<math>\begin{matrix}
a \land b \land c
\\[6pt]
a ~\operatorname{and}~ b ~\operatorname{and}~ c.
\end{matrix}</math>
|-
|-
| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math>
|
|
<math>\begin{matrix}
a \lor b \lor c
\\[6pt]
a ~\operatorname{or}~ b ~\operatorname{or}~ c.
\end{matrix}</math>
|-
|-
|
| height="120px" | [[Image:Cactus (A(B)) Big.jpg|60px]]
| |
| <math>\texttt{(} a \texttt{(} b \texttt{))}</math>
| <math>\texttt{(} a \texttt{(} b \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
a \Rightarrow b
\\[2pt]
a ~\operatorname{implies}~ b.
a ~\operatorname{implies}~ b.
\\[6pt]
\\[2pt]
\operatorname{if}~ a ~\operatorname{then}~ b.
\operatorname{if}~ a ~\operatorname{then}~ b.
\\[6pt]
\\[2pt]
\operatorname{not}~ a ~\operatorname{without}~ b.
\operatorname{not}~ a ~\operatorname{without}~ b.
\end{matrix}</math>
\end{matrix}</math>
|-
|-
|
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>
| |
| <math>\texttt{(} a, b \texttt{)}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
a + b
\\[2pt]
a \neq b
\\[2pt]
a ~\operatorname{exclusive-or}~ b.
a ~\operatorname{exclusive-or}~ b.
\\[6pt]
\\[2pt]
a ~\operatorname{not~equal~to}~ b.
a ~\operatorname{not~equal~to}~ b.
\end{matrix}</math>
\end{matrix}</math>
|-
|-
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
a = b
\\[2pt]
a \iff b
\\[2pt]
a ~\operatorname{equals}~ b.
\\[2pt]
a ~\operatorname{if~and~only~if}~ b.
a ~\operatorname{if~and~only~if}~ b.
\end{matrix}</math>
\end{matrix}</math>
|-
|-
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>
|
|
<pre>
<math>\begin{matrix}
\operatorname{just~one~of}
\\
a, b, c
\\
\operatorname{is~false}.
\end{matrix}</math>
| @ |
|-
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
| <math>\texttt{(} a, b, c \texttt{)}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
a, b, c
a, b, c
\\
\\
\operatorname{is~false}.
\operatorname{is~true}.
\end{matrix}</math>
|-
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
| <math>\texttt{(} a \texttt{,(} b \texttt{),(} c \texttt{))}</math>
|
<math>\begin{matrix}
\operatorname{genus}~ a ~\operatorname{of~species}~ b, c.
\\[6pt]
\operatorname{partition}~ a ~\operatorname{into}~ b, c.
\\[6pt]
\operatorname{pie}~ a ~\operatorname{of~slices}~ b, c.
\end{matrix}</math>
|}
<br>
Table B 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.
<br>
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
|+ <math>\text{Table B.}~~\text{Entitative Interpretation}</math>
|- style="background:#f0f0ff"
| <math>\text{Cactus Graph}\!</math>
| <math>\text{Cactus Expression}\!</math>
| <math>\text{Interpretation}\!</math>
|-
| height="100px" | [[Image:Cactus Node Big Fat.jpg|20px]]
| <math>{}^{\backprime\backprime}\texttt{~}{}^{\prime\prime}</math>
| <math>\operatorname{false}.</math>
|-
| height="100px" | [[Image:Cactus Spike Big Fat.jpg|20px]]
| <math>\texttt{(~)}</math>
| <math>\operatorname{true}.</math>
|-
| height="100px" | [[Image:Cactus A Big.jpg|20px]]
| <math>a\!</math>
| <math>a.\!</math>
|-
| height="120px" | [[Image:Cactus (A) Big.jpg|20px]]
| <math>\texttt{(} a \texttt{)}</math>
|
<math>\begin{matrix}
\tilde{a}
\\[2pt]
a^\prime
\\[2pt]
\lnot a
\\[2pt]
\operatorname{not}~ a.
\end{matrix}</math>
|-
| height="100px" | [[Image:Cactus ABC Big.jpg|50px]]
| <math>a~b~c</math>
|
<math>\begin{matrix}
a \lor b \lor c
\\[6pt]
a ~\operatorname{or}~ b ~\operatorname{or}~ c.
\end{matrix}</math>
|-
| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math>
|
<math>\begin{matrix}
a \land b \land c
\\[6pt]
a ~\operatorname{and}~ b ~\operatorname{and}~ c.
\end{matrix}</math>
|-
| height="120px" | [[Image:Cactus (A)B Big.jpg|35px]]
| <math>\texttt{(} a \texttt{)} b</math>
|
<math>\begin{matrix}
a \Rightarrow b
\\[2pt]
a ~\operatorname{implies}~ b.
\\[2pt]
\operatorname{if}~ a ~\operatorname{then}~ b.
\\[2pt]
\operatorname{not}~ a, ~\operatorname{or}~ b.
\end{matrix}</math>
|-
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>
|
<math>\begin{matrix}
a = b
\\[2pt]
a \iff b
\\[2pt]
a ~\operatorname{equals}~ b.
\\[2pt]
a ~\operatorname{if~and~only~if}~ b.
\end{matrix}</math>
|-
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>
|
<math>\begin{matrix}
a + b
\\[2pt]
a \neq b
\\[2pt]
a ~\operatorname{exclusive-or}~ b.
\\[2pt]
a ~\operatorname{not~equal~to}~ b.
\end{matrix}</math>
\end{matrix}</math>
|-
|-
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>
|
|
<pre>
<math>\begin{matrix}
\operatorname{not~just~one~of}
\\
a, b, c
\\
\operatorname{is~true}.
\end{matrix}</math>
|-
| \ / |
| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]
| @ |
| <math>\texttt{((} a \texttt{,} b \texttt{,} c \texttt{))}</math>
| |
| <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
\end{matrix}</math>
\end{matrix}</math>
|-
|-
|
| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]
| <math>\texttt{(((} a \texttt{),} b \texttt{,} c \texttt{))}</math>
| |
| <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
\operatorname{genus}~ a ~\operatorname{with~species}~ b, c.
\operatorname{genus}~ a ~\operatorname{of~species}~ b, c.
\\[4pt]
\\[6pt]
\operatorname{partition}~ a ~\operatorname{among}~ b, c.
\operatorname{partition}~ a ~\operatorname{into}~ b, c.
\\[4pt]
\\[6pt]
\operatorname{pie}~ a ~\operatorname{with~slices}~ b, c.
\operatorname{pie}~ a ~\operatorname{of~slices}~ b, c.
\end{matrix}</math>
\end{matrix}</math>
|}
|}
<br>
For the time being, the main things to take away from Tables A and B are the ideas that the compositional structure of cactus graphs and expressions can be articulated in terms of two different kinds of connective operations, and that there are two distinct ways of mapping this compositional structure into the compositional structure of propositional sentences, say, in English:
For the time being, the main things to take away from Tables 13 and 14 are the ideas that the compositional structure of cactus graphs and expressions can be articulated in terms of two different kinds of connective operations, and that there are two distinct ways of mapping this compositional structure into the compositional structure of propositional sentences, say, in English:
{| align="center" cellpadding="6" width="90%"
| valign="top" | 1.
| The ''node connective'' joins a number of component cacti <math>C_1, \ldots, C_k</math> at a node:
|-
|
|
<pre>
<pre>
C_1 ... C_k
C_1 ... C_k
@
@
</pre>
2. The "lobe connective" joins a number of
|-
| valign="top" | 2.
| The ''lobe connective'' joins a number of component cacti <math>C_1, \ldots, C_k</math> to a lobe:
|-
|
|
<pre>
C_1 C_2 C_k
C_1 C_2 C_k
o---o-...-o
o---o-...-o
@
@
</pre>
</pre>
|}
Table 15 summarizes the existential and entitative interpretations of the primitive cactus structures, in effect, the graphical constants and connectives.
Table 15 summarizes the existential and entitative interpretations of the primitive cactus structures, in effect, the graphical constants and connectives.
{| align="center" cellpadding="6" style="text-align:center; width:90%"
|
<pre>
<pre>
Table 15. Existential & Entitative Interpretations of Cactus Structures
Table 15. Existential & Entitative Interpretations of Cactus Structures
o-----------------o-----------------o-----------------o-----------------o
o-----------------o-----------------o-----------------o-----------------o
</pre>
</pre>
|}
It is possible to specify ''abstract rules of equivalence'' (AROEs) between cacti, rules for transforming one cactus into another that are ''formal'' in the sense of being indifferent to the above choices for logical or semantic interpretations, and that partition the set of cacti into formal equivalence classes.
It is possible to specify ''abstract rules of equivalence'' (AROEs) between cacti, rules for transforming one cactus into another that are ''formal'' in the sense of being indifferent to the above choices for logical or semantic interpretations, and that partition the set of cacti into formal equivalence classes.
Table 16 schematizes the two types of basic reductions in a purely formal, interpretation-independent fashion.
Table 16 schematizes the two types of basic reductions in a purely formal, interpretation-independent fashion.
{| align="center" cellpadding="6" style="text-align:center; width:90%"
|
<pre>
<pre>
Table 16. Basic Reductions
Table 16. Basic Reductions
o---------------------------------------o
o---------------------------------------o
</pre>
</pre>
|}
The careful reader will have noticed that we have begun to use graphical paints like "a", "b", "c" and schematic proxies like "C_1", "C_j", "C_k" in a variety of novel and unjustified ways.
The careful reader will have noticed that we have begun to use graphical paints like "a", "b", "c" and schematic proxies like "C_1", "C_j", "C_k" in a variety of novel and unjustified ways.
Of course I mean the ''active imagination''. So let me assist the prospective exercise with a few hints of what it would take to guarantee that these practices make sense.
Of course I mean the ''active imagination''. So let me assist the prospective exercise with a few hints of what it would take to guarantee that these practices make sense.
===Partial Rewrites===
Table 13 illustrates the ''existential interpretation'' of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms.
Table 13 illustrates the ''existential interpretation'' of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms.
The cactus graph and the cactus expression shown here are both described as a ''spike''.
The cactus graph and the cactus expression shown here are both described as a ''spike''.
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" style="text-align:center; width:90%"
|
<pre>
<pre>
o---------------------------------------o
o---------------------------------------o
The rule of reduction for a lobe is:
The rule of reduction for a lobe is:
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" style="text-align:center; width:90%"
|
<pre>
<pre>
o---------------------------------------o
o---------------------------------------o
they parse into a type of graph called a ''painted and rooted cactus'' (PARC):
they parse into a type of graph called a ''painted and rooted cactus'' (PARC):
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" style="text-align:center; width:90%"
|
<pre>
<pre>
o---------------------------------------o
o---------------------------------------o
|}
|}
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" style="text-align:center; width:90%"
|
<pre>
<pre>
o---------------------------------------o
o---------------------------------------o
|}
|}
{| align="center" cellpadding="6" width="90%"
===Tables===
<pre>
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
|+ <math>\text{Table 1.}~~\text{Syntax and Semantics of a Calculus for Propositional Logic}</math>
| Graph | String | Translation |
|- style="background:#f0f0ff"
| <math>\text{Graph}\!</math>
| | | |
| <math>\text{Expression}\!</math>
| <math>\text{Interpretation}\!</math>
| <math>\text{Other Notations}\!</math>
| | | |
|-
| o | | |
| height="100px" | [[Image:Cactus Node Big Fat.jpg|20px]]
| | | | |
| <math>~</math>
| @ | ( ) | untrue. |
| <math>\operatorname{true}</math>
| <math>1\!</math>
| | | |
|-
| r | | |
| height="100px" | [[Image:Cactus Spike Big Fat.jpg|20px]]
| @ | r | r. |
| <math>\texttt{(~)}</math>
| <math>\operatorname{false}</math>
| | | |
| <math>0\!</math>
| r | | |
|-
| o | | |
| height="100px" | [[Image:Cactus A Big.jpg|20px]]
| | | | |
| <math>a\!</math>
| @ | (r) | not r. |
| <math>a\!</math>
| <math>a\!</math>
| | | |
|-
| r s t | | |
| height="120px" | [[Image:Cactus (A) Big.jpg|20px]]
| @ | r s t | r and s and t. |
| <math>\texttt{(} a \texttt{)}</math>
| <math>\operatorname{not}~ a</math>
| | | |
| <math>\lnot a \quad \bar{a} \quad \tilde{a} \quad a^\prime</math>
| r s t | | |
|-
| o o o | | |
| height="100px" | [[Image:Cactus ABC Big.jpg|50px]]
| \|/ | | |
| <math>a ~ b ~ c</math>
| o | | |
| <math>a ~\operatorname{and}~ b ~\operatorname{and}~ c</math>
| | | | |
| <math>a \land b \land c</math>
| @ | ((r)(s)(t)) | r or s or t. |
|-
| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]]
| | | r implies s. |
| <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math>
| r s | | |
| <math>a ~\operatorname{or}~ b ~\operatorname{or}~ c</math>
| o---o | | if r then s. |
| <math>a \lor b \lor c</math>
| | | | |
|-
| height="120px" | [[Image:Cactus (A(B)) Big.jpg|60px]]
| <math>\texttt{(} a \texttt{(} b \texttt{))}</math>
|
| r s | | |
<math>\begin{matrix}
| o---o | | r exclusive-or s. |
a ~\operatorname{implies}~ b
| \ / | | |
\\[6pt]
\operatorname{if}~ a ~\operatorname{then}~ b
\end{matrix}</math>
| <math>a \Rightarrow b</math>
|-
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>
| o | | r if & only if s. |
|
| | | | |
<math>\begin{matrix}
a ~\operatorname{not~equal~to}~ b
\\[6pt]
a ~\operatorname{exclusive~or}~ b
\end{matrix}</math>
|
<math>\begin{matrix}
a \neq b
| @ | (r , s , t) | out of r, s, t. |
\\[6pt]
a + b
\end{matrix}</math>
|-
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>
|
<math>\begin{matrix}
| \ / | | just one true |
a ~\operatorname{is~equal~to}~ b
| @ | ((r),(s),(t)) | among r, s, t. |
\\[6pt]
a ~\operatorname{if~and~only~if}~ b
\end{matrix}</math>
|
<math>\begin{matrix}
a = b
| o--o--o | | among r & s. |
\\[6pt]
| \ / | | |
a \Leftrightarrow b
\end{matrix}</math>
| @ | ( t ,(r),(s)) | slices r, s. |
|-
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
</pre>
| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>
|
<math>\begin{matrix}
\operatorname{just~one~of}
\\
a, b, c
\\
\operatorname{is~false}.
\end{matrix}</math>
|
<math>\begin{matrix}
& \bar{a} ~ b ~ c
\\
\lor & a ~ \bar{b} ~ c
\\
\lor & a ~ b ~ \bar{c}
\end{matrix}</math>
|-
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
|
<math>\begin{matrix}
\operatorname{just~one~of}
\\
a, b, c
\\
\operatorname{is~true}.
\\[6pt]
\operatorname{partition~all}
\\
\operatorname{into}~ a, b, c.
\end{matrix}</math>
|
<math>\begin{matrix}
& a ~ \bar{b} ~ \bar{c}
\\
\lor & \bar{a} ~ b ~ \bar{c}
\\
\lor & \bar{a} ~ \bar{b} ~ c
\end{matrix}</math>
|-
| height="160px" | [[Image:Cactus (A,(B,C)) Big.jpg|90px]]
| <math>\texttt{(} a \texttt{,(} b \texttt{,} c \texttt{))}</math>
|
<math>\begin{matrix}
\operatorname{oddly~many~of}
\\
a, b, c
\\
\operatorname{are~true}.
\end{matrix}</math>
|
<p><math>a + b + c\!</math></p>
<br>
<p><math>\begin{matrix}
& a ~ b ~ c
\\
\lor & a ~ \bar{b} ~ \bar{c}
\\
\lor & \bar{a} ~ b ~ \bar{c}
\\
\lor & \bar{a} ~ \bar{b} ~ c
\end{matrix}</math></p>
|-
| height="160px" | [[Image:Cactus (X,(A),(B),(C)) Big.jpg|90px]]
| <math>\texttt{(} x \texttt{,(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
|
<math>\begin{matrix}
\operatorname{partition}~ x
\\
\operatorname{into}~ a, b, c.
\\[6pt]
\operatorname{genus}~ x ~\operatorname{comprises}
\\
\operatorname{species}~ a, b, c.
\end{matrix}</math>
|
<math>\begin{matrix}
& \bar{x} ~ \bar{a} ~ \bar{b} ~ \bar{c}
\\
\lor & x ~ a ~ \bar{b} ~ \bar{c}
\\
\lor & x ~ \bar{a} ~ b ~ \bar{c}
\\
\lor & x ~ \bar{a} ~ \bar{b} ~ c
\end{matrix}</math>
|}
|}
<br>
<pre>
{| align="center" cellpadding="6" width="90%"
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
|+ <math>\text{Table C.}~~\text{Dualing Interpretations}</math>
<pre>
|- style="background:#f0f0ff"
Table 14. The Entitative Interpretation
| <math>\text{Graph}\!</math>
| <math>\text{String}\!</math>
| Cactus Graph | Cactus Expression | Entitative |
| <math>\text{Existential}\!</math>
| | | Interpretation |
| <math>\text{Entitative}\!</math>
|-
| | | |
| height="100px" | [[Image:Cactus Node Big Fat.jpg|20px]]
| <math>{}^{\backprime\backprime}\texttt{~}{}^{\prime\prime}</math>
| | | |
| <math>\operatorname{true}.</math>
| <math>\operatorname{false}.</math>
| | | |
|-
| o | | |
| height="100px" | [[Image:Cactus Spike Big Fat.jpg|20px]]
| | | | |
| <math>\texttt{(~)}</math>
| @ | ( ) | true. |
| <math>\operatorname{false}.</math>
| | | |
| <math>\operatorname{true}.</math>
|-
| | | |
| height="100px" | [[Image:Cactus A Big.jpg|20px]]
| a | | |
| <math>a\!</math>
| @ | a | a. |
| <math>a.\!</math>
| | | |
| <math>a.\!</math>
|-
| | | |
| height="120px" | [[Image:Cactus (A) Big.jpg|20px]]
| a | | |
| <math>\texttt{(} a \texttt{)}</math>
| o | | |
| <math>\lnot a</math>
| | | | |
| <math>\lnot a</math>
|-
| | | |
| height="100px" | [[Image:Cactus ABC Big.jpg|50px]]
| <math>a~b~c</math>
| | | |
| <math>a \land b \land c</math>
| a b c | | |
| <math>a \lor b \lor c</math>
| @ | a b c | a or b or c. |
|-
| | | |
| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math>
| | | |
| <math>a \lor b \lor c</math>
| a b c | | |
| <math>a \land b \land c</math>
| o o o | | |
|-
| \|/ | | |
| height="120px" | [[Image:Cactus (A(B)) Big.jpg|60px]]
| o | | |
| <math>\texttt{(} a \texttt{(} b \texttt{))}</math>
| | | | |
| <math>a \Rightarrow b</math>
| @ | ((a)(b)(c)) | a and b and c. |
|
| | | |
|-
| height="120px" | [[Image:Cactus (A)B Big.jpg|35px]]
| | | |
| <math>\texttt{(} a \texttt{)} b</math>
| | | a implies b. |
|
| | | |
| <math>a \Rightarrow b</math>
| o a | | if a then b. |
|-
| | | | |
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
| @ b | (a) b | not a, or b. |
| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>
| | | |
| <math>a \neq b</math>
| <math>a = b\!</math>
| | | |
|-
| a b | | |
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
| o---o | | a if & only if b. |
| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>
| \ / | | |
| <math>a = b\!</math>
| @ | (a , b) | a equates with b. |
| <math>a \neq b\!</math>
|-
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>
|
<math>\begin{matrix}
\operatorname{just~one}
| o | | a exclusive-or b. |
\\
| | | | |
\operatorname{of}~ a, b, c
| @ | ((a , b)) | a not equal to b. |
\\
\operatorname{is~false}.
\end{matrix}</math>
|
<math>\begin{matrix}
\operatorname{not~just~one}
\\
| \ / | | not just one true |
\operatorname{of}~ a, b, c
| @ | (a , b , c) | out of a, b, c. |
\\
\operatorname{is~true}.
\end{matrix}</math>
|-
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
|
<math>\begin{matrix}
| o | | |
\operatorname{just~one}
| | | | just one true |
\\
| @ | ((a , b , c)) | among a, b, c. |
\operatorname{of}~ a, b, c
\\
\operatorname{is~true}.
\end{matrix}</math>
|
<math>\begin{matrix}
\operatorname{not~just~one}
| o--o--o | | |
\\
| \ / | | partition a |
\operatorname{of}~ a, b, c
\\
| o | | |
\operatorname{is~false}.
| | | | whole pie a: |
\end{matrix}</math>
| @ | ( a ,(b),(c)) | slices b, c. |
|-
| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{,} b \texttt{,} c \texttt{))}</math>
</pre>
|
<math>\begin{matrix}
\operatorname{not~just~one}
\\
\operatorname{of}~ a, b, c
\\
\operatorname{is~false}.
\end{matrix}</math>
|
<math>\begin{matrix}
\operatorname{just~one}
\\
\operatorname{of}~ a, b, c
\\
\operatorname{is~true}.
\end{matrix}</math>
|-
| height="200px" | [[Image:Cactus (((A),(B),(C))) Big.jpg|65px]]
| <math>\texttt{(((} a \texttt{),(} b \texttt{),(} c \texttt{)))}</math>
|
<math>\begin{matrix}
\operatorname{not~just~one}
\\
\operatorname{of}~ a, b, c
\\
\operatorname{is~true}.
\end{matrix}</math>
|
<math>\begin{matrix}
\operatorname{just~one}
\\
\operatorname{of}~ a, b, c
\\
\operatorname{is~false}.
\end{matrix}</math>
|-
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
| <math>\texttt{(} a \texttt{,(} b \texttt{),(} c \texttt{))}</math>
|
<math>\begin{matrix}
\operatorname{partition}~ a
\\
\operatorname{into}~ b, c.
\end{matrix}</math>
|
|-
| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]
| <math>\texttt{(((} a \texttt{),} b \texttt{,} c \texttt{))}</math>
|
|
<math>\begin{matrix}
\operatorname{partition}~ a
\\
\operatorname{into}~ b, c.
\end{matrix}</math>
|}
|}
<br>
<pre>