MyWikiBiz, Author Your Legacy — Thursday September 18, 2025
Jump to navigationJump to search
461 bytes removed
, 17:48, 26 January 2009
Line 465: |
Line 465: |
| |} | | |} |
| | | |
− | {| align="center" cellpadding="4" style="text-align:left" width="90%" | + | {| align="center" cellpadding="8" width="90%" |
− | | | + | | |
− | |-
| + | <math>\begin{array}{lll} |
− | | <math>[| F^\$ (p, q) |]</math>
| + | [| F^\$ (p, q) |] |
− | | <math>=\!</math>
| + | & = & [| \underline{(}~p~,~q~\underline{)}^\$ |] |
− | | <math>[| \underline{(}~p~,~q~\underline{)}^\$ |]</math>
| + | \\[6pt] |
− | |-
| + | & = & (F^\$ (p, q))^{-1} (\underline{1}) |
− | |
| + | \\[6pt] |
− | | <math>=\!</math>
| + | & = & \{~ x \in X ~:~ F^\$ (p, q)(x) ~\} |
− | | <math>(F^\$ (p, q))^{-1} (\underline{1})</math>
| + | \\[6pt] |
− | |-
| + | & = & \{~ x \in X ~:~ \underline{(}~p~,~q~\underline{)}^\$ (x) ~\} |
− | |
| + | \\[6pt] |
− | | <math>=\!</math>
| + | & = & \{~ x \in X ~:~ \underline{(}~p(x)~,~q(x)~\underline{)} ~\} |
− | | <math>\{~ x \in X ~:~ F^\$ (p, q)(x) ~\}</math>
| + | \\[6pt] |
− | |-
| + | & = & \{~ x \in X ~:~ p(x) + q(x) ~\} |
− | |
| + | \\[6pt] |
− | | <math>=\!</math>
| + | & = & \{~ x \in X ~:~ p(x) \neq q(x) ~\} |
− | | <math>\{~ x \in X ~:~ \underline{(}~p~,~q~\underline{)}^\$ (x) ~\}</math>
| + | \\[6pt] |
− | |-
| + | & = & \{~ x \in X ~:~ \upharpoonleft P \upharpoonright (x) ~\neq~ \upharpoonleft Q \upharpoonright (x) ~\} |
− | |
| + | \\[6pt] |
− | | <math>=\!</math>
| + | & = & \{~ x \in X ~:~ x \in P ~\nLeftrightarrow~ x \in Q ~\} |
− | | <math>\{~ x \in X ~:~ \underline{(}~p(x)~,~q(x)~\underline{)} ~\}</math>
| + | \\[6pt] |
− | |-
| + | & = & \{~ x \in X ~:~ x \in P\!-\!Q ~\operatorname{or}~ x \in Q\!-\!P ~\} |
− | |
| + | \\[6pt] |
− | | <math>=\!</math>
| + | & = & \{~ x \in X ~:~ x \in P\!-\!Q ~\cup~ Q\!-\!P ~\} |
− | | <math>\{~ x \in X ~:~ p(x) + q(x) ~\}</math>
| + | \\[6pt] |
− | |-
| + | & = & \{~ x \in X ~:~ x \in P + Q ~\} |
− | |
| + | \\[6pt] |
− | | <math>=\!</math>
| + | & = & P + Q ~\subseteq~ X |
− | | <math>\{~ x \in X ~:~ p(x) \neq q(x) ~\}</math>
| + | \\[6pt] |
− | |-
| + | & = & [|p|] + [|q|] ~\subseteq~ X |
− | |
| + | \end{array}</math> |
− | | <math>=\!</math>
| |
− | | <math>\{~ x \in X ~:~ \upharpoonleft P \upharpoonright (x) ~\neq~ \upharpoonleft Q \upharpoonright (x) ~\}</math>
| |
− | |-
| |
− | |
| |
− | | <math>=\!</math>
| |
− | | <math>\{~ x \in X ~:~ x \in P ~\nLeftrightarrow~ x \in Q ~\}</math>
| |
− | |-
| |
− | |
| |
− | | <math>=\!</math>
| |
− | | <math>\{~ x \in X ~:~ x \in P\!-\!Q ~\operatorname{or}~ x \in Q\!-\!P ~\}</math>
| |
− | |-
| |
− | |
| |
− | | <math>=\!</math>
| |
− | | <math>\{~ x \in X ~:~ x \in P\!-\!Q ~\cup~ Q\!-\!P ~\}</math>
| |
− | |-
| |
− | |
| |
− | | <math>=\!</math>
| |
− | | <math>\{~ x \in X ~:~ x \in P + Q ~\}</math>
| |
− | |-
| |
− | |
| |
− | | <math>=\!</math>
| |
− | | <math>P + Q ~\subseteq~ X</math>
| |
− | |-
| |
− | |
| |
− | | <math>=\!</math>
| |
− | | <math>[|p|] + [|q|] ~\subseteq~ X</math>
| |
− | |-
| |
− | |
| |
| |} | | |} |
| | | |