MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
Jump to navigationJump to search
1,796 bytes added
, 17:30, 1 August 2012
Line 1,738: |
Line 1,738: |
| \\ | | \\ |
| {}^{\langle} \text{B} {}^{\rangle} | | {}^{\langle} \text{B} {}^{\rangle} |
| + | \end{matrix}</math> |
| + | |- |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | (( & {}^{\langle} \text{A} {}^{\rangle} & , & \text{A} & ), & \text{A} & ) |
| + | \\ |
| + | (( & {}^{\langle} \text{A} {}^{\rangle} & , & \text{B} & ), & \text{A} & ) |
| + | \\ |
| + | (( & {}^{\langle} \text{B} {}^{\rangle} & , & \text{A} & ), & \text{B} & ) |
| + | \\ |
| + | (( & {}^{\langle} \text{B} {}^{\rangle} & , & \text{B} & ), & \text{B} & ) |
| + | \\ |
| + | (( & {}^{\langle} \text{i} {}^{\rangle} & , & \text{A} & ), & \text{A} & ) |
| + | \\ |
| + | (( & {}^{\langle} \text{i} {}^{\rangle} & , & \text{B} & ), & \text{B} & ) |
| + | \\ |
| + | (( & {}^{\langle} \text{u} {}^{\rangle} & , & \text{A} & ), & \text{B} & ) |
| + | \\ |
| + | (( & {}^{\langle} \text{u} {}^{\rangle} & , & \text{B} & ), & \text{A} & ) |
| + | \end{matrix}</math> |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \end{matrix}</math> |
| + | | valign="bottom" width="33%" | |
| + | <math>\begin{matrix} |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| + | \\ |
| + | {}^{\langle} \operatorname{De} {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| |} | | |} |
| + | |
| + | |
| + | <pre> |
| + | ((<A>, A>, A) <De> <De> |
| + | ((<A>, B>, A) <De> <De> |
| + | ((<B>, A>, B) <De> <De> |
| + | ((<B>, B>, B) <De> <De> |
| + | ((<i>, A>, A) <De> <De> |
| + | ((<i>, B>, B) <De> <De> |
| + | ((<u>, A>, B) <De> <De> |
| + | ((<u>, B>, A) <De> <De> |
| + | </pre> |