Across
- 3. The set of all possible input values of a function.
- 4. The logical operation that reverses the truth value of a proposition.
- 6. A relation where aRb implies bRa.
- 9. A set in which every element is also an element of another set.set containing all elements belonging to at least one of two sets.
- 10. A declarative statement that is either true or false.
- 12. A collection of well-defined distinct objects
- 14. The set containing all objects under consideration.
- 15. A set containing no elements.
- 16. The set containing elements common to two sets.
- 19. The logical operator that represents “OR”.
- 20. The set of all output values produced by a function.
- 23. A relation in which every input has exactly one output.
- 24. A function in which different inputs have different outputs
- 26. The set of all subsets of a given set.
- 27. A proposition that is false for every possible assignment of truth values.
- 28. A relation where aRb and bRc imply aRc.
- 29. A compound proposition of the form 'if p, then q'.
Down
- 1. A compound proposition formed using the logical connective OR.
- 2. The set of elements in the universal set but not in the given set.
- 5. A relation where aRb and bRa imply a = b.
- 7. An individual member of a set.
- 8. A proposition that is always false.
- 11. A set of ordered pairs that describes a connection between elements of sets.
- 13. A compound proposition formed using the logical connective AND.
- 17. A relation in which every element is related to itself.
- 18. A proposition stating that two statements are true together or false together.
- 21. A proposition that is true for every possible assignment of truth values.
- 22. The number of elements in a finite set.
- 25. A set containing no elements
