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