Across
- 2. ¬p
- 4. The symbol ⊥ is value that is always
- 5. p, q, r, s, etc.
- 7. p ∧ q
- 9. as lower-case letters, such
- 11. another
- 12. are usually
- 13. p
- 14. is formed by switching the hypothesis and the conclusion
- 15. p ↔ q
Down
- 1. q
- 3. about propositions and how they relate to
- 6. logic is the study of formal logic within mathematics
- 8. The symbol ⊤ is a value that is always
- 10. is a mathematical system for