Across
- 4. removing universal quantifier
- 6. Predicates involving one variable
- 7. Say true or false "There are many quantifiers"
Down
- 1. introducing universal quantifier
- 2. introducing existential quantifier
- 3. removing existential quantifier
- 5. Predicates without variables