Across
- 1. function identity relation is also called
- 8. the way in which two or more concepts objects or people are connected
- 11. is called the set builder notation
- 13. a judgment or decision reached by reasoning.
- 14. is a set that is not a finite set may be countable or uncountable
- 15. a set with only one element
- 16. is a construct that specifies the quantity of specimens in the domain of discourse that satisfy an open formula.
- 18. is the number of edges entering that vertex
- 20. interchange the hypothesis and the conclusion of the inverse statement
- 21. The set can be defined by listing all its elements
- 22. The formal mathematical study of the methods structure and validity of mathematical deduction and proof
- 27. The number of elements in a particular set
- 29. is the number of edges leaving that vertex
- 31. The branch of mathematics dealing with objects that can assume only distinct separated values
- 32. a supposition or proposed explanation made on the basis of limited evidence as
- 34. is an alphabetic character representing a number
- 36. the conclusion that can be drawn from something, although it is not explicitly stated.
- 37. t A new set can be constructed by associating every element of one set with every element of another set
- 38. are number used for counting and ordering
- 42. is a pair of mathematical objects
- 47. The number of digits in a number system
- 51. the process of adding things together
- 52. is a diagram that shows all possible logical relations between a finite collection of different sets
- 53. is any route through a graph from vertex to vertex along edges
- 54. Two sets can be added together
- 56. is a disjunction of literals.
- 57. interchange the hypothesis and the conclusion
- 58. statement in which p is a hypothesis and q is a conclusion.
- 59. is either a propositional variable or the negation of one.
- 60. refers to either the codomain or the image of the function
Down
- 2. if it is always true
- 3. is an ordered pair of real numbers
- 4. if it always false
- 5. declarative sentence that is either true or false
- 6. is a compound statement formed by combining two conditionals under "and"
- 7. is a set that has a finite number of elements
- 9. is a path that begins and ends on the same vertex
- 10. is an assertion which is either true or false
- 12. is a connective which forms compound propositions which are false only if both statements are false
- 17. two functions takes the output of one function as the input of a second one
- 19. if they have the same logical content
- 23. set S is the set of all subsets of S
- 24. take the negation of both the hypothesis and the conclusion.
- 25. is a trail that begins and ends on the same vertex
- 26. the quality or state of being true
- 28. a set of which all the elements are contained in another set
- 30. if it is neither a tautology nor a contradiction
- 33. A new set can also be constructed by determining which members two sets have in common
- 35. is the number implied by the function as a result of a particular number being assigned to its argument
- 39. is a self contained step by step set of operations to be performed
- 40. is one whose codomain is the set of real numbers or a subset thereof
- 41. is a concise way of expressing information symbolically as in a mathematical
- 43. is any one of the distinct objects that make up that set
- 44. is a value that represents a quantity along a continuous line
- 45. The base 2 method of counting in which only the digits 0 and 1 are used.
- 46. is a truth-functional connective similar to and
- 48. is the set containing no elements
- 49. is a well defined collection of distinct objects
- 50. is the set of input or argument values for which the function is defined
- 55. is a relation between a set of inputs and a set of permissible outputs with the property that each input is related to exactly one output