This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
reference:attribute_examples [2011/07/07 12:08] 131.246.161.187 [simplified] |
reference:attribute_examples [2011/07/07 12:10] 131.246.161.187 [of] |
||
---|---|---|---|
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 80: | Line 76: | ||
disjE [rotated 2] | disjE [rotated 2] | ||
- | | ||
yields | yields | ||
Line 91: | Line 86: | ||
Then, | Then, | ||
- | test [symmetric] | + | test [symmetric] |
- | + | ||
yields | yields | ||
$\quad ?X ?x = (?x \in ?X)$. | $\quad ?X ?x = (?x \in ?X)$. |