Line 1: |
Line 1: |
− | ==Discussion Area== | + | ==Work Area • Logical Cacti== |
− | | |
− | … | |
− | | |
− | ==Logical Cacti==
| |
| | | |
| ; Theme One Program — Logical Cacti | | ; Theme One Program — Logical Cacti |
Line 65: |
Line 61: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]] |
| | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> | | | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> |
| | | | | |
Line 87: |
Line 83: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]] |
− | | <math>\texttt{(} a, b \texttt{)}</math> | + | | <math>\texttt{(} a \texttt{,} b \texttt{)}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 100: |
Line 96: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]] |
− | | <math>\texttt{((} a, b \texttt{))}</math> | + | | <math>\texttt{((} a \texttt{,} b \texttt{))}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 113: |
Line 109: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]] |
− | | <math>\texttt{(} a, b, c \texttt{)}</math> | + | | <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 124: |
Line 120: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]] |
− | | <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> | + | | <math>\texttt{((} a \texttt{),(} b \texttt{),(} c \texttt{))}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 135: |
Line 131: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]] |
− | | <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> | + | | <math>\texttt{(} a \texttt{,(} b \texttt{),(} c \texttt{))}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 194: |
Line 190: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]] |
| | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> | | | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> |
| | | | | |
Line 216: |
Line 212: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]] |
− | | <math>\texttt{(} a, b \texttt{)}</math> | + | | <math>\texttt{(} a \texttt{,} b \texttt{)}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 229: |
Line 225: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]] |
− | | <math>\texttt{((} a, b \texttt{))}</math> | + | | <math>\texttt{((} a \texttt{,} b \texttt{))}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 242: |
Line 238: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]] |
− | | <math>\texttt{(} a, b, c \texttt{)}</math> | + | | <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 253: |
Line 249: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]] |
− | | <math>\texttt{((} a, b, c \texttt{))}</math> | + | | <math>\texttt{((} a \texttt{,} b \texttt{,} c \texttt{))}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 264: |
Line 260: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|70px]] | + | | height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]] |
− | | <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math> | + | | <math>\texttt{(((} a \texttt{),} b \texttt{,} c \texttt{))}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 498: |
Line 494: |
| | | |
| ===Tables=== | | ===Tables=== |
− |
| |
− | <br>
| |
| | | |
| {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%" | | {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%" |
Line 534: |
Line 528: |
| | <math>a \land b \land c</math> | | | <math>a \land b \land c</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]] |
| | <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> |
Line 549: |
Line 543: |
| | <math>a \Rightarrow b</math> | | | <math>a \Rightarrow b</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]] |
− | | <math>\texttt{(} a, b \texttt{)}</math> | + | | <math>\texttt{(} a \texttt{,} b \texttt{)}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 564: |
Line 558: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]] |
− | | <math>\texttt{((} a, b \texttt{))}</math> | + | | <math>\texttt{((} a \texttt{,} b \texttt{))}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 579: |
Line 573: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]] |
− | | <math>\texttt{(} a, b, c \texttt{)}</math> | + | | <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 598: |
Line 592: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]] |
| | <math>\texttt{((} a \texttt{),(} b \texttt{),(} c \texttt{))}</math> | | | <math>\texttt{((} a \texttt{),(} b \texttt{),(} c \texttt{))}</math> |
| | | | | |
Line 621: |
Line 615: |
| \end{matrix}</math> | | \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} | |
− | \texttt{((} a, b \texttt{)}, c \texttt{)} | |
− | \\[6pt]
| |
− | \texttt{(} a, \texttt{(} b, c \texttt{))} | |
− | \end{matrix}</math>
| |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 649: |
Line 638: |
| \end{matrix}</math></p> | | \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>\texttt{(} x \texttt{,(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math> |
| | | | | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
Line 670: |
Line 659: |
| \\ | | \\ |
| \lor & x ~ \bar{a} ~ \bar{b} ~ c | | \lor & x ~ \bar{a} ~ \bar{b} ~ c |
| + | \end{matrix}</math> |
| + | |} |
| + | |
| + | <br> |
| + | |
| + | {| align="center" border="1" cellpadding="6" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%" |
| + | |+ <math>\text{Table C.}~~\text{Dualing Interpretations}</math> |
| + | |- style="background:#f0f0ff" |
| + | | <math>\text{Graph}\!</math> |
| + | | <math>\text{String}\!</math> |
| + | | <math>\text{Existential}\!</math> |
| + | | <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> |
| + | |- |
| + | | height="100px" | [[Image:Cactus Spike Big Fat.jpg|20px]] |
| + | | <math>\texttt{(~)}</math> |
| + | | <math>\operatorname{false}.</math> |
| + | | <math>\operatorname{true}.</math> |
| + | |- |
| + | | height="100px" | [[Image:Cactus A Big.jpg|20px]] |
| + | | <math>a\!</math> |
| + | | <math>a.\!</math> |
| + | | <math>a.\!</math> |
| + | |- |
| + | | height="120px" | [[Image:Cactus (A) Big.jpg|20px]] |
| + | | <math>\texttt{(} a \texttt{)}</math> |
| + | | <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> |
| + | | <math>a \lor b \lor c</math> |
| + | |- |
| + | | 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> |
| + | | <math>a \land b \land c</math> |
| + | |- |
| + | | height="120px" | [[Image:Cactus (A(B)) Big.jpg|60px]] |
| + | | <math>\texttt{(} a \texttt{(} b \texttt{))}</math> |
| + | | <math>a \Rightarrow b</math> |
| + | | |
| + | |- |
| + | | height="120px" | [[Image:Cactus (A)B Big.jpg|35px]] |
| + | | <math>\texttt{(} a \texttt{)} b</math> |
| + | | |
| + | | <math>a \Rightarrow b</math> |
| + | |- |
| + | | height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]] |
| + | | <math>\texttt{(} a \texttt{,} b \texttt{)}</math> |
| + | | <math>a \neq b</math> |
| + | | <math>a = b\!</math> |
| + | |- |
| + | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]] |
| + | | <math>\texttt{((} a \texttt{,} b \texttt{))}</math> |
| + | | <math>a = b\!</math> |
| + | | <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} |
| + | \\ |
| + | \operatorname{of}~ a, b, c |
| + | \\ |
| + | \operatorname{is~false}. |
| + | \end{matrix}</math> |
| + | | |
| + | <math>\begin{matrix} |
| + | \operatorname{not~just~one} |
| + | \\ |
| + | \operatorname{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} |
| + | \operatorname{just~one} |
| + | \\ |
| + | \operatorname{of}~ a, b, c |
| + | \\ |
| + | \operatorname{is~true}. |
| + | \end{matrix}</math> |
| + | | |
| + | <math>\begin{matrix} |
| + | \operatorname{not~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{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> | | \end{matrix}</math> |
| |} | | |} |
| | | |
| <br> | | <br> |