| Line 2,622: |
Line 2,622: |
| | | | |
| | <blockquote><code> | | <blockquote><code> |
| − | (( u v )( u w )( v w )). | + | (( u v )( u w )( v w )) |
| | </code></blockquote> | | </code></blockquote> |
| | | | |
| Line 2,744: |
Line 2,744: |
| | </pre> | | </pre> |
| | | | |
| − | <pre>
| + | In summary, <math>\operatorname{E}q \cdot c</math> informs us that we can get from <math>c\!</math> to a model of <math>q\!</math> by changing our position with respect to <math>u, v, w\!</math> according to the following description: |
| − | In summary, Eq.c informs us that we can get from c to a model of q by | + | |
| − | making the following changes in our position with respect to u, v, w,
| + | <blockquote> |
| − | to wit, "change none or just one among {u, v, w}".
| + | Change none or just one among <math>\{ u, v, w \}.\!</math> |
| | + | </blockquote> |
| | | | |
| − | I think that it would be worth our time to diagram the models | + | I think that it would be worth our time to diagram the models of the ''enlarged'' or ''shifted'' proposition, <math>\operatorname{E}q,</math> at least, the selection of them that we find issuing from the center cell <math>c.\!</math> |
| − | of the "enlarged" or "shifted" proposition, Eq, at least, the | |
| − | selection of them that we find issuing from the center cell c. | |
| | | | |
| − | Figure 4 is an extended venn diagram for the proposition Eq.c, | + | Figure 4 is an extended venn diagram for the proposition <math>\operatorname{E}q \cdot c,</math> where the shaded area gives the models of <math>q\!</math> and the "<code>@</code>" signs mark the terminal points of the requisite feature alterations. |
| − | where the shaded area gives the models of q and the "@" signs | |
| − | mark the terminal points of the requisite feature alterations. | |
| | | | |
| | + | <pre> |
| | o-------------------------------------------------o | | o-------------------------------------------------o |
| | | X | | | | X | |