Logic link

123456789101112131415
Across
  1. 1. is a compound proposition that asserts that if one proposition (the antecedent) is true, then another proposition (the consequent) must also be true.
  2. 5. also known as logical equivalence, means that two propositions have the same truth value in all possible cases.
  3. 6. indicates that two expressions have the same
  4. 7. asserts that a proposition is true for at least one member of a domain
  5. 9. is a compound proposition that is true if and only if at least one of its components is true
  6. 12. a statement that can either be true or false
  7. 13. two sets is the set containing all elements of both sets
  8. 14. is false and vice versal
  9. 15. is a proposition that is always true, regardless of the truth values of its components
Down
  1. 2. is a proposition that is always false, regardless of the truth values of its components
  2. 3. are symbols that express the quantity of things being discussed
  3. 4. means "for all" or "for every."
  4. 8. two sets is the set containing all elements that are in both sets.
  5. 10. indicates that two expressions do not have the same value.
  6. 11. is a word or phrase that join together in a sentence