Logic Unit Crossword

123456789101112131415161718192021222324252627282930
Across
  1. 3. ~
  2. 4. One part of a compound statement, such as "p" in "pv~q" or "pvq" in "r-->(pvq)"
  3. 7. <-->
  4. 10. A statement created by combining two or more statements or facts through connectives
  5. 11. Both statements in the compound are true, or both are false
  6. 12. Fallacy of the converse, fallacy of the inverse, misuse of disjunctive reasoning, misuse of transitive reasoning
  7. 13. A statement made up of two or more sentences combined using the words "if and only if"
  8. 14. Words that are used to join statements such as "and", "or", "if...then" and "if and only if"
  9. 17. -->
  10. 18. Another word for a valid argument
  11. 19. One statement of a compound statement represented by "p", "q", or "r"
  12. 20. A statement with a quantifier in it
  13. 22. A word such as "all", "some", or "no" (or "none")
  14. 25. Direct reasoning, contrapositive reasoning, disjunctive reasoning, transitive reasoning
  15. 26. The second statement in the compound is true or both statements are false
  16. 28. A statement made up of two or more statements combined with the word "or"
  17. 29. The conclusion is true when the premises are assumed true
  18. 30. Used to express whether a statement is true or false using a table listing the possible values of each element of the statement
Down
  1. 1. The complete compound statement in the last column of a truth table, it is what you are trying to prove true or false
  2. 2. A statement made up of two or more statements combined using the words "if,then"
  3. 5. A sentence that is either true or false but not both at once
  4. 6. A type of compound statement represented in a truth table
  5. 8. An invalid argument
  6. 9. ^
  7. 11. Both statements in the compound are true
  8. 15. When a statement is written with the word "not" to change the meaning
  9. 16. At least one statement in the compound is true
  10. 21. A statement consisting of two or more statements combined with the word "and"
  11. 23.
  12. 24. v
  13. 27. A way to rephrase statements from "and" to "or" and vice versa