Line 179: |
Line 179: |
| <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> |
Line 210: |
Line 210: |
| <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. | |
− | | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | | + | | | |
− | | Existential Interpretation: ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | | + | | Existential Interpretation: | |
− | | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | | + | | | |
− | | ` `"Just one of the k arguments is not true." ` ` ` ` ` ` | | + | | "Just one of the k arguments is not true." | |
− | | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | | + | | | |
− | | Entitative `Interpretation: ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | | + | | Entitative Interpretation: | |
− | | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | | + | | | |
− | | ` `"Not just one of the k arguments is true." ` ` ` ` ` ` | | + | | "Not just one of the k arguments is true." | |
− | | ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` ` | | + | | | |
| o-----------------------------------------------------------o | | o-----------------------------------------------------------o |
| </pre> | | </pre> |