User Tools
reference:drule
Differences
This shows you the differences between two versions of the page.
| Next revision Both sides next revision | |||
|
reference:drule [2011/06/22 12:20] 131.246.161.187 created |
reference:drule [2011/06/22 12:29] 131.246.161.187 |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| $\quad\bigwedge x_1 \dots x_k : [|\ A_1; \dots ; A_m\ |] \Longrightarrow C$ | $\quad\bigwedge x_1 \dots x_k : [|\ A_1; \dots ; A_m\ |] \Longrightarrow C$ | ||
| - | and we want to use ''rule'' with rule | + | and we want to use ''drule'' with rule |
| $\quad[|\ P_1; \dots ; P_n\ |] \Longrightarrow Q$ | $\quad[|\ P_1; \dots ; P_n\ |] \Longrightarrow Q$ | ||
reference/drule.txt ยท Last modified: 2011/07/06 12:08 by 131.246.161.187
Page Tools
