Logic and Reasoning

123456789101112131415161718
Across
  1. 4. example A single example showing a statement is false
  2. 6. the truth or falsity of a statement
  3. 9. a compound logical statement connected by the word "or"
  4. 11. Starting assumption in a conditional/proof
  5. 13. any sentence that is either true or false but not both
  6. 14. Negate hypothesis & conclusion (but keep order)
  7. 15. From (p → q) and (q → r) infer (p → r)
  8. 16. Swap hypothesis & conclusion
  9. 17. an "if then" statement that consists of a hypothesis and a conclusion
  10. 18. The result deduced from premises
Down
  1. 1. Negate and swap (logically equivalent to original conditional)
  2. 2. Logical opposite (makes a statement false)
  3. 3. An educated guess from patterns
  4. 5. a mathematical table using logic to determine the truth value of a complex statement for all possible combination of simple statements
  5. 7. From (p → q) and p infer q
  6. 8. Inductive pattern that forms generalizations from examples
  7. 10. a compound statement formed by connecting two individual statements with the logical operator "and"
  8. 12. two or more statements joined by the word "and" or "or"