12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday November 13, 2024
Jump to navigationJump to search→Cactus Language
| @ | (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>
