MyWikiBiz, Author Your Legacy — Monday July 08, 2024
Jump to navigationJump to search
221 bytes added
, 17:02, 23 May 2012
Line 2,586: |
Line 2,586: |
| | | |
| For the interpreter <math>Q_{\text{AB}},\!</math> the sign variable <math>q\!</math> need only range over the syntactic domain <math>S = \{ {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, {}^{\backprime\backprime} \text{i} {}^{\prime\prime}, {}^{\backprime\backprime} \text{u} {}^{\prime\prime} \}\!</math> and the relation variable <math>L\!</math> need only range over the set of sign relations <math>\{ L(\text{A}), L(\text{B}) \}.\!</math> These requirements can be accomplished as follows: | | For the interpreter <math>Q_{\text{AB}},\!</math> the sign variable <math>q\!</math> need only range over the syntactic domain <math>S = \{ {}^{\backprime\backprime} \text{A} {}^{\prime\prime}, {}^{\backprime\backprime} \text{B} {}^{\prime\prime}, {}^{\backprime\backprime} \text{i} {}^{\prime\prime}, {}^{\backprime\backprime} \text{u} {}^{\prime\prime} \}\!</math> and the relation variable <math>L\!</math> need only range over the set of sign relations <math>\{ L(\text{A}), L(\text{B}) \}.\!</math> These requirements can be accomplished as follows: |
| + | |
| + | # The variable name <math>{}^{\backprime\backprime} q {}^{\prime\prime}</math> is a HA sign that makes a PIR to the elements of <math>S.\!</math> |
| + | # The variable name <math>{}^{\backprime\backprime} L {}^{\prime\prime}</math> is a HU sign that makes a PIR to the elements of <math>\{ L(\text{A}), L(\text{B}) \}.\!</math> |
| + | # The constant name <math>{}^{\backprime\backprime} L(\text{A}) {}^{\prime\prime}</math> is a HI sign that makes a PIR to the elements of <math>L(\text{A}).\!</math> |
| + | # The constant name <math>{}^{\backprime\backprime} L(\text{B}) {}^{\prime\prime}</math> is a HI sign that makes a PIR to the elements of <math>L(\text{B}).\!</math> |
| | | |
| <pre> | | <pre> |
− | # The variable name <math>q\!</math> is a HA sign that makes a PIR to the elements of <math>S.\!</math>
| |
− | # The variable name "L" is a HU sign that makes a PIR to the elements of <math>\{ L(\text{A}), L(\text{B}) \}.\!</math>
| |
− | # The constant name "L(A)" is a HI sign that makes a PIR to the elements of <math>L(\text{A}).\!</math>
| |
− | # The constant name "L(B)" is a HI sign that makes a PIR to the elements of <math>L(\text{B}).\!</math>
| |
− |
| |
| This results in a HO sign relation for QAB that is shown in Table 46. | | This results in a HO sign relation for QAB that is shown in Table 46. |
| | | |