Across
- 1. p->q
- 3. if and only if each a E M
- 8. A set whose elements are unlimited or uncountable
- 9. a small circle for each element
- 10. A statement is true for all possible values of its propositional variables
- 12. Set of all possible elements under consideration
- 14. set of elements which belongs to the universal set U but which does not belong to A
- 17. a set A to set B is a subset R of the Cartesian product
- 18. p->q is the implication p->q
- 21. is a rule that makes a relation between two sets of element
- 23. Two sets are complementary sets if they are disjoint and if when combined collectively they form the universal set
- 28. if and only R is irreflexive and transitive
- 32. is the set of all right components of the elements of R
- 33. A directed line
- 34. A proposition that is either true or false
- 35. A proposition that is always false
- 36. if and only if R is partial order which is complete
- 37. p-> is the implication of -p->-q
- 39. The proposition of q
- 40. Set of elements which belongs to A but which does not belong to B
Down
- 2. If p then q
- 4. Set of all elements which belong to both A and B
- 5. The resulting pictorial representation
- 6. if ang only R is reflexive, transitive, and antisymmetric
- 7. Two sets A and B are disjoint if they have no elements in common
- 11. A is a subset of B denoted by A B if every element of A is contained in B
- 13. A set containing no objects or elements
- 15. Two set A and B are equivalent if they have exactly the same number of elements
- 16. if the element is equal to the another element
- 19. Sets A and B denoted by A+B consists of those elements which belong to A and to B but not both a and B
- 20. The set of all subsets of a set A
- 22. p->q is the implication -q->-p
- 24. P if and only if q
- 25. The set of sets or collection of sets and some of its subsets in a given set
- 26. Two sets of A and B is defined as the set of all ordered pairs
- 27. Set of all elements which are in at least A or B
- 28. if and only if R is strict partial order which is complete
- 29. The given elements are limited or countable
- 30. is the set of all left components of the element of R
- 31. A set with only one element
- 38. is a set of ordered pairs with the property that no two ordered pairs have the same first component
