LOGIC

123456789101112131415
Across
  1. 3. ∴
  2. 4. exists ∃
  3. 9. |
  4. 11. ∀
  5. 12. x'
  6. 13. &
  7. 15. not - negation
Down
  1. 1. ¬
  2. 2. ^
  3. 5. caret ∨
  4. 6. if and only if (iff)
  5. 7. ⇒
  6. 8. ⋅
  7. 10. negation
  8. 14. or