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