reference:attribute_examples
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| reference:attribute_examples [2011/07/07 12:09] – [symmetric] 131.246.161.187 | reference:attribute_examples [2011/07/25 12:32] (current) – [rotated] 131.246.41.159 | ||
|---|---|---|---|
| Line 9: | Line 9: | ||
| Using | Using | ||
| - | | ||
| mp [of _ "C ∨ D"] | mp [of _ "C ∨ D"] | ||
| - | | ||
| yields the more specific theorem | yields the more specific theorem | ||
| Line 24: | Line 22: | ||
| Using | Using | ||
| - | | ||
| mp [where Q="C ∨ D"] | mp [where Q="C ∨ D"] | ||
| - | | ||
| yields the more specific theorem | yields the more specific theorem | ||
| Line 75: | Line 71: | ||
| Consider rule '' | Consider rule '' | ||
| - | $\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, | ||
| disjE [rotated 2] | disjE [rotated 2] | ||
| - | | ||
| 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 '' | Consider the definition of set membership '' | ||
reference/attribute_examples.1310033345.txt.gz · Last modified: by 131.246.161.187