| 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> |
