| Line 728: |
Line 728: |
| | | Entitative Interpretation: | | | Entitative Interpretation: |
| | | Not just one of the k arguments is true. | | | Not just one of the k arguments is true. |
| − | |}
| |
| − |
| |
| − | {| align="center" cellpadding="6" width="90%"
| |
| − | | align="center" |
| |
| − | <pre>
| |
| − | o-------------------o-------------------o-------------------o
| |
| − | | Graph | String | Translation |
| |
| − | o-------------------o-------------------o-------------------o
| |
| − | | | | |
| |
| − | | @ | " " | true. |
| |
| − | o-------------------o-------------------o-------------------o
| |
| − | | | | |
| |
| − | | o | | |
| |
| − | | | | | |
| |
| − | | @ | ( ) | untrue. |
| |
| − | o-------------------o-------------------o-------------------o
| |
| − | | | | |
| |
| − | | r | | |
| |
| − | | @ | r | r. |
| |
| − | o-------------------o-------------------o-------------------o
| |
| − | | | | |
| |
| − | | r | | |
| |
| − | | o | | |
| |
| − | | | | | |
| |
| − | | @ | (r) | not r. |
| |
| − | o-------------------o-------------------o-------------------o
| |
| − | | | | |
| |
| − | | r s t | | |
| |
| − | | @ | r s t | r and s and t. |
| |
| − | o-------------------o-------------------o-------------------o
| |
| − | | | | |
| |
| − | | r s t | | |
| |
| − | | o o o | | |
| |
| − | | \|/ | | |
| |
| − | | o | | |
| |
| − | | | | | |
| |
| − | | @ | ((r)(s)(t)) | r or s or t. |
| |
| − | 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
| |
| − | | | | |
| |
| − | | r s | | |
| |
| − | | o---o | | r exclusive-or s. |
| |
| − | | \ / | | |
| |
| − | | @ | (r , s) | r not equal to s. |
| |
| − | o-------------------o-------------------o-------------------o
| |
| − | | | | |
| |
| − | | r s | | |
| |
| − | | o---o | | |
| |
| − | | \ / | | |
| |
| − | | o | | r if & only if s. |
| |
| − | | | | | |
| |
| − | | @ | ((r , s)) | r equates with s. |
| |
| − | 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
| |
| − | | | | |
| |
| − | | r s t | | |
| |
| − | | o o o | | |
| |
| − | | | | | | | |
| |
| − | | o--o--o | | |
| |
| − | | \ / | | |
| |
| − | | \ / | | just one true |
| |
| − | | @ | ((r),(s),(t)) | among r, s, t. |
| |
| − | 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
| |
| − | </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
| |
| − | </pre>
| |
| | |} | | |} |