Logic

Edit Answers
123456789101112131415
Across
  1. 2. about propositions and how they relate to
  2. 5. p ∧ q
  3. 7. p ↔ q
  4. 8. The symbol ⊤ is a value that is always
  5. 10. another
  6. 11. logic is the study of formal logic within mathematics
  7. 13. is a mathematical system for
  8. 14. is formed by switching the hypothesis and the conclusion
  9. 15. p, q, r, s, etc.
Down
  1. 1. are usually
  2. 3. ¬p
  3. 4. q
  4. 6. as lower-case letters, such
  5. 9. The symbol ⊥ is value that is always
  6. 12. p