Next: 7.3 Derived rules Up: 7.2 Rules about quantifiers Previous: 7.2.5 Universal elimination Contents
At the last section there are several examples with quantifiers, but without explanations. Probably you will have to look for them in some logic book if you're trying to understand them.