Across
- 6. (→) – If-then statement.
- 7. (∧) – Logical AND operation.
- 9. (⊤) – Always correct statement.
- 11. (∃) – Existential statement.
- 12. (⊨) – Follows from premises.
- 14. (∴) – Indicates a conclusion.
Down
- 1. (ℓ) – Length of a formula.
- 2. (∀) – Universal statement.
- 3. (↔) – If and only if relation.
- 4. (∨) – Logical OR operation.
- 5. (⊢) – Indicates a logical proof.
- 8. (¬) – Opposite of a statement.
- 10. (⊕) – One but not both.
- 13. (⊥) – Always incorrect statement.
- 15. (⇔) – Two statements are equal.