12,136
edits
Changes
Directory:Jon Awbrey/Papers/Futures Of Logical Graphs (view source)
Revision as of 01:42, 30 July 2009
, 01:42, 30 July 2009→Themes and variations: del background hatching
<pre>
<pre>
o-------------------o-------------------o-------------------o
o-------------------o-------------------o-------------------o
| ` ` ` ` a ` ` ` ` | ` ` ` ` b ` ` ` ` | ` ` `(a , b)` ` ` |
| a | b | (a , b) |
o-------------------o-------------------o-------------------o
o-------------------o-------------------o-------------------o
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| | | |
| ` ` ` blank ` ` ` | ` ` ` blank ` ` ` | ` ` ` cross ` ` ` |
| blank | blank | cross |
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| | | |
| ` ` ` blank ` ` ` | ` ` ` cross ` ` ` | ` ` ` blank ` ` ` |
| blank | cross | blank |
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| | | |
| ` ` ` cross ` ` ` | ` ` ` blank ` ` ` | ` ` ` blank ` ` ` |
| cross | blank | blank |
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| | | |
| ` ` ` cross ` ` ` | ` ` ` cross ` ` ` | ` ` ` cross ` ` ` |
| cross | cross | cross |
| ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` ` |
| | | |
o-------------------o-------------------o-------------------o
o-------------------o-------------------o-------------------o
</pre>
</pre>
<pre>
<pre>
o-----------------------------o-----------------o-----------o
o-----------------------------o-----------------o-----------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` ` ` |
| | | |
| ` ----------o ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` ` a ` ` |
| ----------o | | a |
| ` ` ` ` ` ` | ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` ` o ` ` |
| | | | o |
| ` ` ` a ` ` | ` ` ` ` ` ` ` | ` (a) ` ` ` ` ` | ` ` | ` ` |
| a | | (a) | | |
| ` ` ` ` ` ` | ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` ` @ ` ` |
| | | | @ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` ` ` |
| | | |
o-----------------------------o-----------------o-----------o
o-----------------------------o-----------------o-----------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` ` ` |
| | | |
| ` ----------o---o ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` a ` b ` |
| ----------o---o | | a b |
| ` ` ` ` ` ` | ` | ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` o---o ` |
| | | | | o---o |
| ` ` ` a ` ` | b | ` ` ` ` ` | ` (a , b)` ` ` | ` `\`/` ` |
| a | b | | (a , b) | \ / |
| ` ` ` ` ` ` | ` | ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` ` @ ` ` |
| | | | | @ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` ` ` |
| | | |
o-----------------------------o-----------------o-----------o
o-----------------------------o-----------------o-----------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` ` ` |
| | | |
| ` ----------o---o---o ` ` ` | ` ` ` ` ` ` ` ` | ` a b c ` |
| ----------o---o---o | | a b c |
| ` ` ` ` ` ` | ` | ` | ` ` ` | ` ` ` ` ` ` ` ` | ` o-o-o ` |
| | | | | | o-o-o |
| ` ` ` a ` ` | b | c | ` ` ` | ` (a , b , c) ` | ` `\`/` ` |
| a | b | c | | (a , b , c) | \ / |
| ` ` ` ` ` ` | ` | ` | ` ` ` | ` ` ` ` ` ` ` ` | ` ` @ ` ` |
| | | | | | @ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` | ` ` ` ` ` ` ` ` | ` ` ` ` ` |
| | | |
o-----------------------------o-----------------o-----------o
o-----------------------------o-----------------o-----------o
</pre>
</pre>
<pre>
<pre>
o-------o-------o-------o-----------o
o-------o-------o-------o-----------o
| ` a ` | ` b ` | ` c ` | (a, b, c) |
| a | b | c | (a, b, c) |
o-------o-------o-------o-----------o
o-------o-------o-------o-----------o
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| blank | blank | blank | ` cross ` |
| blank | blank | blank | cross |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| blank | blank | cross | ` blank ` |
| blank | blank | cross | blank |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| blank | cross | blank | ` blank ` |
| blank | cross | blank | blank |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| blank | cross | cross | ` cross ` |
| blank | cross | cross | cross |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| cross | blank | blank | ` blank ` |
| cross | blank | blank | blank |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| cross | blank | cross | ` cross ` |
| cross | blank | cross | cross |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| cross | cross | blank | ` cross ` |
| cross | cross | blank | cross |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| cross | cross | cross | ` cross ` |
| cross | cross | cross | cross |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
o-------o-------o-------o-----------o
o-------o-------o-------o-----------o
</pre>
</pre>
<pre>
<pre>
o-------o-------o-------o-----------o
o-------o-------o-------o-----------o
| ` a ` | ` b ` | ` c ` | (a, b, c) |
| a | b | c | (a, b, c) |
o-------o-------o-------o-----------o
o-------o-------o-------o-----------o
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| ` o ` | ` o ` | ` o ` | ` ` | ` ` |
| o | o | o | | |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| ` o ` | ` o ` | ` | ` | ` ` o ` ` |
| o | o | | | o |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| ` o ` | ` | ` | ` o ` | ` ` o ` ` |
| o | | | o | o |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| ` o ` | ` | ` | ` | ` | ` ` | ` ` |
| o | | | | | | |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| ` | ` | ` o ` | ` o ` | ` ` o ` ` |
| | | o | o | o |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| ` | ` | ` o ` | ` | ` | ` ` | ` ` |
| | | o | | | | |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| ` | ` | ` | ` | ` o ` | ` ` | ` ` |
| | | | | o | | |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
| ` | ` | ` | ` | ` | ` | ` ` | ` ` |
| | | | | | | | |
| ` ` ` | ` ` ` | ` ` ` | ` ` ` ` ` |
| | | | |
o-------o-------o-------o-----------o
o-------o-------o-------o-----------o
</pre>
</pre>
<pre>
<pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| Evaluation Rule ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| Evaluation Rule |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` x_1 `x_2` `...` x_k ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| x_1 x_2 ... x_k |
| ` ` `o----o-...-o----o` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| o----o-...-o----o |
| ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` ` ` `@` ` ` ` ` ` ` = ` ` ` ` ` ` `@` ` ` ` ` ` ` |
| @ = @ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ( x_1, x_2, ..., x_k )` ` = ` ` ` ` ` <space> ` ` ` ` ` |
| ( x_1, x_2, ..., x_k ) = <space> |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` ` ` ` ` IF AND ONLY IF` ` ` ` ` ` ` ` ` ` ` |
| IF AND ONLY IF |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `o` ` ` ` ` ` ` |
| o |
| ` Just one of the x_1, x_2, ..., x_k` `=` `|` `=` `( )` ` |
| Just one of the x_1, x_2, ..., x_k = | = ( ) |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` |
| @ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
<pre>
<pre>
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| Interpretation Rule ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| Interpretation Rule |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` x_1 `x_2` `...` x_k ` ` ` ` ` ` ` ` ` ` ` ` |
| x_1 x_2 ... x_k |
| ` ` ` ` ` ` ` `o----o-...-o----o` ` ` ` ` ` ` ` ` ` ` ` ` |
| o----o-...-o----o |
| ` ` ` ` ` ` ` ` \ ` ` ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` ` ` ` ` `\` ` ` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` ` ` ` ` ` \ ` ` ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` ` ` ` ` ` `\` ` ` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` ` ` ` ` ` ` \ ` ` / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` ` ` ` ` ` ` `\` `/` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` ` ` ` ` ` ` ` \ / ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| \ / |
| ` ` ` ` ` ` ` ` ` ` ` `@` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| @ |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| A "k-lobe operator" of the form "(x_1, ..., x_k)" ` ` ` ` |
| A "k-lobe operator" of the form "(x_1, ..., x_k)" |
| enjoys two commonly employed interpretations for` ` ` ` ` |
| enjoys two commonly employed interpretations for |
| propositional logic, in other words, two ways of` ` ` ` ` |
| propositional logic, in other words, two ways of |
| taking it as an assertion about, or a constraint` ` ` ` ` |
| taking it as an assertion about, or a constraint |
| upon, the logical values of the listed arguments, ` ` ` ` |
| upon, the logical values of the listed arguments, |
| the mentioned variables x_j, for j = 1 through k. ` ` ` ` |
| the mentioned variables x_j, for j = 1 through k. |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| Entitative `Interpretation: ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| Entitative Interpretation: |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` `"Not just one of the k arguments is true." ` ` ` ` ` ` |
| "Not just one of the k arguments is true." |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| Existential Interpretation: ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| Existential Interpretation: |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
| ` `"Just one of the k arguments is not true." ` ` ` ` ` ` |
| "Just one of the k arguments is not true." |
| ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` |
| |
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>