Logic

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