DISCRETE MATHEMATICS-CROSSWORD-III

1234567891011
Across
  1. 2. A formula starts with D
  2. 5. formula used in inference theory
  3. 7. formula used in inference theory whose name starts with modus
  4. 8. A statement or its negation
  5. 9. Rule allows to use formula in the derivation
  6. 10. A statement and its negation
  7. 11. It is used to introduce premises
Down
  1. 1. which gives same answer
  2. 3. formula whose name ends with syllogism and involving three variables
  3. 4. deriving contradiction from the premises.
  4. 6. Disjunctive_________