Logic Symbols

123456789101112131415
Across
  1. 3. ∀
  2. 5. ∨
  3. 10. ¬
  4. 12. ∵
  5. 13. x'
  6. 15. &
Down
  1. 1. ∃
  2. 2. +
  3. 4. ^
  4. 6. ~
  5. 7. ∴
  6. 8. ⇔ ↔
  7. 9. ⊕
  8. 11. ⇒
  9. 14. a horizontal line written above a mathematical symbol to give it some special meaning