Logic

1234567891011121314151617181920
Across
  1. 3. An if-then statement
  2. 4. Another name for "and"
  3. 6. Proposition that is always false
  4. 7. The q in p->q
  5. 9. Proposition that is always true
  6. 10. Show how to distribute a negation operation over a parenthesized expression
  7. 12. The p in p->q
  8. 16. The _____ of p → q is q → p
  9. 17. If and only if
  10. 18. It's true when p is true and q is false or when q is true and p is false
  11. 19. Shows the truth value for every input combination
Down
  1. 1. Reversing the truth value
  2. 2. A statement that is either true or false
  3. 5. The _____ of p → q is ¬q → ¬p
  4. 8. The _____ of p → q is ¬p → ¬q
  5. 11. The study of formal reasoning
  6. 13. Logically ____ is what the triple equal sign means
  7. 14. Another name for "or"
  8. 15. Truth value of: 7 plus 8 is 51
  9. 20. Truth value of: 3 times 5 is 15