Line 239: |
Line 239: |
| | | | | |
| <math>\begin{array}{l} | | <math>\begin{array}{l} |
− | ((x \overset{A}{\Uparrow} ~y \overset{B}{\underset{A}{\Uparrow}}) \overset{B}{\Uparrow} ~z \overset{C}{\underset{B}{\Uparrow}}) \overset{C}{\Uparrow} | + | ((x \underset{A}{\Downarrow} ~y \overset{A}{\underset{B}{\Downarrow}}) \underset{B}{\Downarrow} ~z \overset{B}{\underset{C}{\Downarrow}}) \underset{C}{\Downarrow} |
| + | \\[10pt] |
| + | = |
| + | \\[10pt] |
| + | (x \underset{A}{\Downarrow} |
| + | ~ (y \overset{A}{\underset{B}{\Downarrow}} |
| + | ~ (z \overset{B}{\underset{C}{\Downarrow}} |
| + | ~ P \overset{B \Rightarrow C}{\underset{(A \Rightarrow B) \Rightarrow (A \Rightarrow C)}{\Downarrow}})\overset{A \Rightarrow B}{\underset{B \Rightarrow C}{\Downarrow}} )\overset{A}{\underset{C}{\Downarrow}})\underset{C}{\Downarrow} |
| \end{array}</math> | | \end{array}</math> |
| |} | | |} |