LOGIC

Edit Answers
123456789101112131415
Across
  1. 4. ^
  2. 9. ∵
  3. 10. ∄
  4. 11. •
  5. 12. &
  6. 14. ∴
  7. 15. or/+
Down
  1. 1. not-negation
  2. 2. ∀
  3. 3. V
  4. 5. ∃
  5. 6. ~
  6. 7. |/or
  7. 8. !
  8. 13. if and only if (iff)