Midterm Project

1234567891011121314151617181920
Across
  1. 1. Elements not in set A
  2. 5. ¬(P∧Q) ↔ ¬P∨¬Q law
  3. 8. Set containing all elements under discussion
  4. 14. Equivalent to "If ¬Q then ¬P"
  5. 16. All subsets of a set
  6. 17. Ordered pair collection (Cartesian)
  7. 18. Always-true statement like "P ∨ ¬P"
  8. 20. "If P, then Q" statement
Down
  1. 2. Standardized logic form (disjunctive/conjunctive)
  2. 3. Always-false statement like "P ∧ ¬P"
  3. 4. A ∩ B operation
  4. 6. Logical NOT operator (¬)
  5. 7. Logical OR operator (∨)
  6. 9. Set where all elements belong to another set
  7. 10. Logical AND operator (∧)
  8. 11. Visual representation of set relationships
  9. 12. "P ↔ Q" equivalence
  10. 13. Set with no elements
  11. 15. A ∪ B operation
  12. 19. Simple uncombined logical statement