Line 485: |
Line 485: |
| | | | | |
| <math>\begin{array}{l} | | <math>\begin{array}{l} |
− | ((x \underset{A}{\Downarrow} ~y \overset{A}{\underset{B}{\Downarrow}}) \underset{B}{\Downarrow} ~z \overset{B}{\underset{C}{\Downarrow}}) \underset{C}{\Downarrow} | + | ((x \underset{A}{\Downarrow} ~ |
| + | y \overset{A}{\underset{B}{\Downarrow}}) \underset{B}{\Downarrow} ~ |
| + | z \overset{B}{\underset{C}{\Downarrow}}) \underset{C}{\Downarrow} |
| \\ \\ | | \\ \\ |
| = | | = |
| \\ \\ | | \\ \\ |
− | (x \underset{A}{\Downarrow} | + | (x \underset{A}{\Downarrow} ~ |
− | ~ (y \overset{A}{\underset{B}{\Downarrow}}
| + | (y \overset{A}{\underset{B}{\Downarrow}} ~ |
− | ~ (z \overset{B}{\underset{C}{\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}
| + | 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> |
| |} | | |} |
Line 503: |
Line 505: |
| B A A B C A B A A=>(B=>C) B A C | | B A A B C A B A A=>(B=>C) B A C |
| </pre> | | </pre> |
| + | |
| + | {| align="center" cellpadding="8" width="90%" |
| + | | |
| + | <math>\begin{array}{l} |
| + | (y \underset{B}{\Downarrow} ~ |
| + | (x \underset{A}{\Downarrow} ~ |
| + | z \overset{B \Rightarrow C}{\underset{A}{\Downarrow}} |
| + | ) \overset{C}{\underset{B}{\Downarrow}} |
| + | ) \underset{C}{\Downarrow} |
| + | \\ \\ |
| + | = |
| + | \\ \\ |
| + | (x: (y: (z: T: ): ): ): |
| + | \end{array}</math> |
| + | |} |
| | | |
| ==Over And Under Setting== | | ==Over And Under Setting== |