Line 4,185: |
Line 4,185: |
| <br> | | <br> |
| | | |
− | <pre> | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:70%" |
− | Table 52.1 Notation for Instances & Their Signs (1) | + | |+ style="height:30px" | |
− | Instance Sign of Instance
| + | <math>\text{Table 52.1} ~~ \text{Notations for Instances and Their Signs (1)}\!</math> |
− | [A] [A] [w1] <[A]> <[A]> <[w1]>
| + | |- style="height:40px; background:#f0f0ff" |
− | [B] [B] [w2] <[B]> <[B]> <[w2]>
| + | | <math>\text{Instance}\!</math> |
− | ["A"] [<A>] [w3] <["A"]> <[<A>]> <[w3]>
| + | | <math>\text{Sign of Instance}\!</math> |
− | ["B"] [<B>] [w4] <["B"]> <[<B>]> <[w4]>
| + | |- |
− | ["i"] [<i>] [w5] <["i"]> <[<i>]> <[w5]>
| + | | width="50%" | |
− | ["u"] [<u>] [w6] <["u"]> <[<u>]> <[w6]>
| + | <math>\begin{matrix} |
− | </pre> | + | {}^{\lbrack} \text{A} {}^{\rbrack} & |
| + | {}^{\lbrack} \text{A} {}^{\rbrack} & |
| + | {}^{\lbrack} w_1 {}^{\rbrack} |
| + | \\[6pt] |
| + | {}^{\lbrack} \text{B} {}^{\rbrack} & |
| + | {}^{\lbrack} \text{B} {}^{\rbrack} & |
| + | {}^{\lbrack} w_2 {}^{\rbrack} |
| + | \\[12pt] |
| + | {}^{\lbrack\backprime\backprime} \text{A} {}^{\prime\prime\rbrack} & |
| + | {}^{\lbrack\langle} \text{A} {}^{\rangle\rbrack} & |
| + | {}^{\lbrack} w_3 {}^{\rbrack} |
| + | \\[6pt] |
| + | {}^{\lbrack\backprime\backprime} \text{B} {}^{\prime\prime\rbrack} & |
| + | {}^{\lbrack\langle} \text{B} {}^{\rangle\rbrack} & |
| + | {}^{\lbrack} w_4 {}^{\rbrack} |
| + | \\[6pt] |
| + | {}^{\lbrack\backprime\backprime} \text{i} {}^{\prime\prime\rbrack} & |
| + | {}^{\lbrack\langle} \text{i} {}^{\rangle\rbrack} & |
| + | {}^{\lbrack} w_5 {}^{\rbrack} |
| + | \\[6pt] |
| + | {}^{\lbrack\backprime\backprime} \text{u} {}^{\prime\prime\rbrack} & |
| + | {}^{\lbrack\langle} \text{u} {}^{\rangle\rbrack} & |
| + | {}^{\lbrack} w_6 {}^{\rbrack} |
| + | \end{matrix}</math> |
| + | | width="50%" | |
| + | <math>\begin{matrix} |
| + | {}^{\langle\lbrack} \text{A} {}^{\rbrack\rangle} & |
| + | {}^{\langle\lbrack} \text{A} {}^{\rbrack\rangle} & |
| + | {}^{\langle\lbrack} w_1 {}^{\rbrack\rangle} |
| + | \\[6pt] |
| + | {}^{\langle\lbrack} \text{B} {}^{\rbrack\rangle} & |
| + | {}^{\langle\lbrack} \text{B} {}^{\rbrack\rangle} & |
| + | {}^{\langle\lbrack} w_2 {}^{\rbrack\rangle} |
| + | \\[12pt] |
| + | {}^{\langle\lbrack\backprime\backprime} \text{A} {}^{\prime\prime\rbrack\rangle} & |
| + | {}^{\langle\lbrack\langle} \text{A} {}^{\rangle\rbrack\rangle} & |
| + | {}^{\langle\lbrack} w_3 {}^{\rbrack\rangle} |
| + | \\[6pt] |
| + | {}^{\langle\lbrack\backprime\backprime} \text{B} {}^{\prime\prime\rbrack\rangle} & |
| + | {}^{\langle\lbrack\langle} \text{B} {}^{\rangle\rbrack\rangle} & |
| + | {}^{\langle\lbrack} w_4 {}^{\rbrack\rangle} |
| + | \\[6pt] |
| + | {}^{\langle\lbrack\backprime\backprime} \text{i} {}^{\prime\prime\rbrack\rangle} & |
| + | {}^{\langle\lbrack\langle} \text{i} {}^{\rangle\rbrack\rangle} & |
| + | {}^{\langle\lbrack} w_5 {}^{\rbrack\rangle} |
| + | \\[6pt] |
| + | {}^{\langle\lbrack\backprime\backprime} \text{u} {}^{\prime\prime\rbrack\rangle} & |
| + | {}^{\langle\lbrack\langle} \text{u} {}^{\rangle\rbrack\rangle} & |
| + | {}^{\langle\lbrack} w_6 {}^{\rbrack\rangle} |
| + | \end{matrix}</math> |
| + | |} |
| | | |
| <br> | | <br> |
| | | |
− | <pre> | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:70%" |
− | Table 52.2 Notation for Instances & Their Signs (2) | + | |+ style="height:30px" | |
− | Instance Sign of Instance
| + | <math>\text{Table 52.2} ~~ \text{Notations for Instances and Their Signs (2)}\!</math> |
− | A A w1 <A> <A> <w1>
| + | |- style="height:40px; background:#f0f0ff" |
− | B B w2 <B> <B> <w2>
| + | | <math>\text{Instance}\!</math> |
− | "A" <A> w3 <"A"> <<A>> <w3>
| + | | <math>\text{Sign of Instance}\!</math> |
− | "B" <B> w4 <"B"> <<B>> <w4>
| + | |- |
− | "i" <i> w5 <"i"> <<i>> <w5>
| + | | width="50%" | |
− | "u" <u> w6 <"u"> <<u>> <w6>
| + | <math>\begin{matrix} |
− | </pre> | + | \overline{\text{A}} & |
| + | \overline{\text{A}} & |
| + | \overline{w_1} |
| + | \\[6pt] |
| + | \overline{\text{B}} & |
| + | \overline{\text{B}} & |
| + | \overline{w_2} |
| + | \\[12pt] |
| + | \overline{{}^{\backprime\backprime} \text{A} {}^{\prime\prime}} & |
| + | \overline{{}^{\langle} \text{A} {}^{\rangle}} & |
| + | \overline{w_3} |
| + | \\[6pt] |
| + | \overline{{}^{\backprime\backprime} \text{B} {}^{\prime\prime}} & |
| + | \overline{{}^{\langle} \text{B} {}^{\rangle}} & |
| + | \overline{w_4} |
| + | \\[6pt] |
| + | \overline{{}^{\backprime\backprime} \text{i} {}^{\prime\prime}} & |
| + | \overline{{}^{\langle} \text{i} {}^{\rangle}} & |
| + | \overline{w_5} |
| + | \\[6pt] |
| + | \overline{{}^{\backprime\backprime} \text{u} {}^{\prime\prime}} & |
| + | \overline{{}^{\langle} \text{u} {}^{\rangle}} & |
| + | \overline{w_6} |
| + | \end{matrix}</math> |
| + | | width="50%" | |
| + | <math>\begin{matrix} |
| + | {}^{\langle} \overline{\text{A}} {}^{\rangle} & |
| + | {}^{\langle} \overline{\text{A}} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_1} {}^{\rangle} |
| + | \\[6pt] |
| + | {}^{\langle} \overline{\text{B}} {}^{\rangle} & |
| + | {}^{\langle} \overline{\text{B}} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_2} {}^{\rangle} |
| + | \\[12pt] |
| + | {}^{\langle} \overline{{}^{\backprime\backprime} \text{A} {}^{\prime\prime}} {}^{\rangle} & |
| + | {}^{\langle} \overline{{}^{\langle} \text{A} {}^{\rangle}} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_3} {}^{\rangle} |
| + | \\[6pt] |
| + | {}^{\langle} \overline{{}^{\backprime\backprime} \text{B} {}^{\prime\prime}} {}^{\rangle} & |
| + | {}^{\langle} \overline{{}^{\langle} \text{B} {}^{\rangle}} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_4} {}^{\rangle} |
| + | \\[6pt] |
| + | {}^{\langle} \overline{{}^{\backprime\backprime} \text{i} {}^{\prime\prime}} {}^{\rangle} & |
| + | {}^{\langle} \overline{{}^{\langle} \text{i} {}^{\rangle}} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_5} {}^{\rangle} |
| + | \\[6pt] |
| + | {}^{\langle} \overline{{}^{\backprime\backprime} \text{u} {}^{\prime\prime}} {}^{\rangle} & |
| + | {}^{\langle} \overline{{}^{\langle} \text{u} {}^{\rangle}} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_6} {}^{\rangle} |
| + | \end{matrix}</math> |
| + | |} |
| | | |
| <br> | | <br> |
| | | |
− | <pre> | + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:70%" |
− | Table 52.3 Notation for Instances & Their Signs (3) | + | |+ style="height:30px" | |
− | Instance Sign of Instance
| + | <math>\text{Table 52.3} ~~ \text{Notations for Instances and Their Signs (3)}\!</math> |
− | A o1 w1 <A> <o1> <w1>
| + | |- style="height:40px; background:#f0f0ff" |
− | B o2 w2 <B> <o2> <w2>
| + | | <math>\text{Instance}\!</math> |
− | a s1 w3 <a> <s1> <w3>
| + | | <math>\text{Sign of Instance}\!</math> |
− | b s2 w4 <b> <s2> <w4>
| + | |- |
− | i s3 w5 <i> <s3> <w5>
| + | | width="50%" | |
− | u s4 w6 <u> <s4> <w6>
| + | <math>\begin{matrix} |
− | </pre> | + | \overline{\text{A}} & |
| + | \overline{o_1} & |
| + | \overline{w_1} |
| + | \\[6pt] |
| + | \overline{\text{B}} & |
| + | \overline{o_2} & |
| + | \overline{w_2} |
| + | \\[12pt] |
| + | \overline{\text{a}} & |
| + | \overline{s_1} & |
| + | \overline{w_3} |
| + | \\[6pt] |
| + | \overline{\text{b}} & |
| + | \overline{s_2} & |
| + | \overline{w_4} |
| + | \\[6pt] |
| + | \overline{\text{i}} & |
| + | \overline{s_3} & |
| + | \overline{w_5} |
| + | \\[6pt] |
| + | \overline{\text{u}} & |
| + | \overline{s_4} & |
| + | \overline{w_6} |
| + | \end{matrix}</math> |
| + | | width="50%" | |
| + | <math>\begin{matrix} |
| + | {}^{\langle} \overline{\text{A}} {}^{\rangle} & |
| + | {}^{\langle} \overline{o_1} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_1} {}^{\rangle} |
| + | \\[6pt] |
| + | {}^{\langle} \overline{\text{B}} {}^{\rangle} & |
| + | {}^{\langle} \overline{o_2} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_2} {}^{\rangle} |
| + | \\[12pt] |
| + | {}^{\langle} \overline{\text{a}} {}^{\rangle} & |
| + | {}^{\langle} \overline{s_1} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_3} {}^{\rangle} |
| + | \\[6pt] |
| + | {}^{\langle} \overline{\text{b}} {}^{\rangle} & |
| + | {}^{\langle} \overline{s_2} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_4} {}^{\rangle} |
| + | \\[6pt] |
| + | {}^{\langle} \overline{\text{i}} {}^{\rangle} & |
| + | {}^{\langle} \overline{s_3} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_5} {}^{\rangle} |
| + | \\[6pt] |
| + | {}^{\langle} \overline{\text{u}} {}^{\rangle} & |
| + | {}^{\langle} \overline{s_4} {}^{\rangle} & |
| + | {}^{\langle} \overline{w_6} {}^{\rangle} |
| + | \end{matrix}</math> |
| + | |} |
| | | |
| <br> | | <br> |