Changes

Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)

21 bytes added , 15:52, 23 May 2012

Line 2,588: Line 2,588:

<pre>

−

1. The variable name "q" is a HA sign that makes a PIR to the elements of S.

+

# 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>

−

2. 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>

−

3. The constant name "L(A)" is a HI sign that makes a PIR to the elements of <math>L(\text{A}).\!</math>

−

4. 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.

12,123

edits