MyWikiBiz, Author Your Legacy — Saturday May 04, 2024
Jump to navigationJump to search
16 bytes added
, 02:31, 28 March 2009
Line 2,399: |
Line 2,399: |
| | | | | |
| <p><math>\begin{array}{ll} | | <p><math>\begin{array}{ll} |
− | \text{R2.} & A \xrightarrow{~\bigcirc_A~} \operatorname{T}; | + | \text{R2.} & A ~\xrightarrow{~\bigcirc_A~}~ \operatorname{T}; |
| \\[8pt] | | \\[8pt] |
− | \text{R3a.} & A \land B \xrightarrow{~\pi_{A, B}~} A, | + | \text{R3a.} & A \land B ~\xrightarrow{~\pi_{A, B}~}~ A, |
| \\[8pt] | | \\[8pt] |
− | \text{R3b.} & A \land B \xrightarrow{~\pi'_{A, B}~} B, | + | \text{R3b.} & A \land B ~\xrightarrow{~\pi'_{A, B}~}~ B, |
| \\[8pt] | | \\[8pt] |
− | \text{R3c.} & \dfrac{C \xrightarrow{~f~} A \quad C \xrightarrow{~g~} B}{C \xrightarrow{~\langle f, g \rangle~} A \land B}. | + | \text{R3c.} & \dfrac{~ C ~\xrightarrow{~f~}~ A \quad C ~\xrightarrow{~g~}~ B ~}{C ~\xrightarrow{~\langle f, g \rangle~}~ A \land B}. |
| \end{array}</math></p> | | \end{array}</math></p> |
| |- | | |- |