Across
- 4. ~
- 7. (x| y)Represents a conditional statement, often read as “such that.”
- 9. (⇒)Represents logical implication (if…then…), often read as “implies.”
- 11. x’
- 13. ¬
- 14. !
Down
- 1. Λ
- 2. (∀) Represents universal quantification, indicating that a statement holds for all elements in a set.
- 3. Λ
- 5. (⇔) Represents logical equivalence (if and only if).
- 6. ⊕
- 8. &
- 10. •
- 12. x̄
- 15. +