Changes

MyWikiBiz, Author Your Legacy — Saturday April 12, 2025
Jump to navigationJump to search

User:Jon Awbrey/TABLE (view source)

Revision as of 15:14, 30 June 2009

6,298 bytes added ,  15:14, 30 June 2009
→‎Cactus Language
Line 330: Line 330:  
|        @        | (C_1, ..., C_k) |  is not true.  |  is true.      |
 
|        @        | (C_1, ..., C_k) |  is not true.  |  is true.      |
 
|                |                |                |                |
 
|                |                |                |                |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
</pre>
 +
|}
 +
 +
{| align="center" cellpadding="6" width="90%"
 +
| align="center" |
 +
<pre>
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|      Graph      |    String      |  Entitative    |  Existential  |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |                |
 +
|        @        |      " "      |    untrue.    |      true.      |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |                |
 +
|        o        |                |                |                |
 +
|        |        |                |                |                |
 +
|        @        |      ( )      |      true.      |    untrue.    |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |                |
 +
|        r        |                |                |                |
 +
|        @        |        r        |        r.      |        r.      |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |                |
 +
|        r        |                |                |                |
 +
|        o        |                |                |                |
 +
|        |        |                |                |                |
 +
|        @        |      (r)      |      not r.    |      not r.    |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |                |
 +
|      r s t      |                |                |                |
 +
|        @        |      r s t      |  r or s or t.  |  r and s and t. |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |                |
 +
|      r s t      |                |                |                |
 +
|      o o o      |                |                |                |
 +
|      \|/      |                |                |                |
 +
|        o        |                |                |                |
 +
|        |        |                |                |                |
 +
|        @        |  ((r)(s)(t))  |  r and s and t. |  r or s or t.  |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |  r implies s.  |
 +
|                |                |                |                |
 +
|        o r      |                |                |  if r then s.  |
 +
|        |        |                |                |                |
 +
|        @ s      |      (r) s      |  not r, or s    |  no r sans s.  |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |  r implies s.  |
 +
|        r  s    |                |                |                |
 +
|        o---o    |                |                |  if r then s.  |
 +
|        |        |                |                |                |
 +
|        @        |    (r (s))    |                |  no r sans s.  |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |                |
 +
|      r  s      |                |                |                |
 +
|      o---o      |                |                |r exclusive-or s.|
 +
|      \ /      |                |                |                |
 +
|        @        |    (r , s)    |                |r not equal to s.|
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |                |
 +
|      r  s      |                |                |                |
 +
|      o---o      |                |                |                |
 +
|      \ /      |                |                |                |
 +
|        o        |                |                |r if & only if s.|
 +
|        |        |                |                |                |
 +
|        @        |    ((r , s))    |                |r equates with s.|
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |                |
 +
|    r  s  t    |                |                |                |
 +
|    o--o--o    |                |                |                |
 +
|      \  /      |                |                |                |
 +
|      \ /      |                |                | just one false  |
 +
|        @        |  (r , s , t)  |                | out of r, s, t. |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |                |
 +
|    r  s  t    |                |                |                |
 +
|    o  o  o    |                |                |                |
 +
|    |  |  |    |                |                |                |
 +
|    o--o--o    |                |                |                |
 +
|      \  /      |                |                |                |
 +
|      \ /      |                |                |  just one true  |
 +
|        @        |  ((r),(s),(t))  |                |  among r, s, t. |
 +
o-----------------o-----------------o-----------------o-----------------o
 +
|                |                |                |  genus t over  |
 +
|        r  s    |                |                |  species r, s.  |
 +
|        o  o    |                |                |                |
 +
|    t  |  |    |                |                |  partition t    |
 +
|    o--o--o    |                |                |  among r & s.  |
 +
|      \  /      |                |                |                |
 +
|      \ /      |                |                |  whole pie t:  |
 +
|        @        |  ( t ,(r),(s))  |                |  slices r, s.  |
 
o-----------------o-----------------o-----------------o-----------------o
 
o-----------------o-----------------o-----------------o-----------------o
 
</pre>
 
</pre>
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/88927"

Navigation menu