Across
- 3. The statement that is always true, no matter the truth values of the propositions involved.
- 8. A set that contains no elements.
- 10. The set containing all elements that are in both sets AA and BB.
- 11. The set that contains all the elements that are in either set AA or set BB or in both.
- 13. This connective is used in the statement "If PP, then QQ."
- 14. The relationship that occurs when every element of one set is also an element of another set.
- 15. a logical operation that produces a false statement if both operands are true, but otherwise gives true.
Down
- 1. The set of all subsets of a given set.
- 2. The process of simplifying logical expressions using known equivalences.
- 4. This set contains every element under consideration.
- 5. The set of elements that belong to one set but not the other.
- 6. A proposition that is always false, no matter what truth values are assigned.
- 7. This law states that the negation of a conjunction is equivalent to the disjunction of the negations.
- 9. A table or chart used to illustrate and determine the truth value of propositions and the validity of their resulting argument.
- 12. The logical operation that returns true only when both operands are false.