This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
reference:attribute_examples [2011/07/07 12:10] 131.246.161.187 [of] |
reference:attribute_examples [2011/07/25 12:32] 131.246.41.159 [rotated] |
||
---|---|---|---|
Line 71: | Line 71: | ||
Consider rule ''disjE'': | Consider rule ''disjE'': | ||
- | $\quad [|\ ?P \vee ?Q; ?P \Longrightarrow ?R; ?Q \Longrightarrow ?R\ |] \Longrightarrow ?R$. | + | $\quad [|\ ?P\;\vee\; ?Q; ?P \Longrightarrow ?R; ?Q \Longrightarrow ?R\ |] \Longrightarrow ?R$. |
Then, | Then, | ||
Line 78: | Line 78: | ||
yields | yields | ||
- | $\quad [\ ?Q \Longrightarrow ?R; ?P \vee ?Q; ?P \Longrightarrow ?R\ |] \Longrightarrow ?R$. | + | $\quad [|\ ?Q \Longrightarrow ?R; ?P\;\vee\; ?Q; ?P \Longrightarrow ?R\ |] \Longrightarrow ?R$. |
==== symmetric ===== | ==== symmetric ===== | ||
Consider the definition of set membership ''Set.mem_def'', | Consider the definition of set membership ''Set.mem_def'', |