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