Changes

|  

|  

| <math>\operatorname{F1f.}</math>

| <math>\operatorname{F1f.}</math>

| <math>\operatorname{Conj_x^X}~ \underline{((}~ \upharpoonleft P \upharpoonright (x) ~,~ \upharpoonleft Q \upharpoonright (x) ~\underline{))}</math>

| <math>\downharpoonleft s \downharpoonright \quad = \quad \operatorname{Conj_x^X}~ \downharpoonleft (\upharpoonleft P \upharpoonright (x) ~=~ \upharpoonleft Q \upharpoonright (x)) \downharpoonright</math>

| style="border-left:1px solid black; text-align:center" |

| style="border-left:1px solid black; text-align:center" |

<math>\operatorname{F1f~:~\_\_?\_\_}</math>

<p><math>\operatorname{F1f~:~\_\_?\_\_}</math></p>

<p><math>\operatorname{F1g~:~\_\_?\_\_}</math></p>

|- style="height:20px"

|- style="height:20px"

| &nbsp;

| &nbsp;

|- style="height:40px"

|- style="height:40px"

| &nbsp;

| &nbsp;

| <math>\operatorname{F1g.}</math>

| <math>\operatorname{F1h.}</math>

| <math>\operatorname{Conj_x^X}~ \underline{((}~ \upharpoonleft P \upharpoonright ~,~ \upharpoonleft Q \upharpoonright ~\underline{))}^\$ (x)</math>

| <math>\downharpoonleft s \downharpoonright \quad = \quad \operatorname{Conj_x^X}~ \underline{((}~ \upharpoonleft P \upharpoonright ~,~ \upharpoonleft Q \upharpoonright ~\underline{))}^\$ (x)</math>

| style="border-left:1px solid black; text-align:center" |

| style="border-left:1px solid black; text-align:center" |

<math>\operatorname{F1g~:~~\_\_?\_\_}</math>

<math>\operatorname{F1g~:~~\_\_?\_\_}</math>