Across
- 5. ⊻
- 11. ↑
- 12. it uses symbolic notation in expressing propositions and arguments.
- 14. is a declarative sentence that is either true or false but not both.
- 15. ∧
Down
- 1. a statement that can be shown to be true.
- 2. a statement that conveys two or more ideas.
- 3. ⇔
- 4. a statement that conveys a single idea.
- 6. ⇒
- 7. ∨
- 8. is built on the foundation of logic.
- 9. ¬
- 10. is used in natural language processing, theorem proving, game theory.
- 13. the value of a proposition that can be either true or false.