Logic Symbols

1234567891011121314
Across
  1. 4. line |
  2. 6.
  3. 7. exists ∃
  4. 8.
  5. 9.
  6. 12.
  7. 13. ~
  8. 14. +
Down
  1. 1. &
  2. 2. ^
  3. 3.
  4. 5. all ∀
  5. 8.
  6. 10. ¬
  7. 11.