Logic

123456789101112131415
Across
  1. 3. ≔ ≡ :⇔, is defined as
  2. 5. ⊤ T 1 ■ ,top, truth, full clause
  3. 7. ∀(), for all; for any; for each
  4. 10. ⊥ F 0 □ , bottom, falsum, falsity, empty clause
  5. 12. ∃, there exists
  6. 14. ( ),parentheses; brackets
  7. 15. ∃!, there exists exactly one
Down
  1. 1. ̅, denoting negation used primarily in electronics.
  2. 2. ↮ ⊕ ⊻ ≢, xor; either ... or
  3. 4. ⇒ → ⊃,implies; if ... then
  4. 6. ^ . &, and
  5. 8. ⇔ ≡ ⟷,if and only if; iff; means the same as
  6. 9. ⊨,models
  7. 11. ¬ ˜ !,not
  8. 13. ⊢, proves