Logic Review

12345678910111213
Across
  1. 4. A compound statement with the "If ..., then ..." structure.
  2. 6. A type of diagram that illustrates a connection between concepts or propositions.
  3. 7. The relationship between to things that imply each other.
  4. 8. The shorter way saying implication.
  5. 9. A compound statement that is false for all possible truth values.
  6. 12. The negative of a proposition.
  7. 13. A collection of objects inside curly brackets.
Down
  1. 1. A formal word used for 'or.'
  2. 2. A statement that is either true or false.
  3. 3. A proposition whose truth value varies based on the person.
  4. 5. The values that we put into a truth table for a proposition.
  5. 7. The type of disjunction that does not contain the overlap of the two sets.
  6. 9. The ________ of a set A is the values outside of A and in the universal set.
  7. 10. The negation of a contradiction.
  8. 11. An informal word used for conjunction