DISCRETE MATHEMATICS-CROSSWORD-IV

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