Logic

123456789101112131415
Across
  1. 3. - ⊥
  2. 8. - →
  3. 9. - (a basic logical statement)
  4. 10. - (related to modus ponens/tollens)
  5. 13. - ∨
  6. 14. - ≡
  7. 15. - ⊤
Down
  1. 1. - (part of terms like logical equivalence)
  2. 2. - ⊥
  3. 4. - ¬
  4. 5. - ∀ or ∃
  5. 6. - ↔
  6. 7. - ∧
  7. 11. - (description rather than a symbol)
  8. 12. - (another term for implication)