This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
reference:attribute_examples [2011/07/07 12:09] 131.246.161.187 [where] |
reference:attribute_examples [2011/07/07 12:09] 131.246.161.187 [where] |
||
---|---|---|---|
Line 24: | Line 24: | ||
Using | Using | ||
- | |||
mp [where Q="C ∨ D"] | mp [where Q="C ∨ D"] | ||
- | | ||
yields the more specific theorem | yields the more specific theorem | ||