Across
- 1. any association or link between elements of one set
- 4. a proposition that can be either or true
- 8. has equal number of rows and n columns
- 10. A pictographic interpretation of sets
- 12. a declarative sentence. It assigns one and only one of the two possible truth values true or false
- 14. (1^1)^(0v0)
- 15. a statement that is true for all possible values of its propositional variables
- 20. a statement formed over the composition of different statements through logical connectives
- 21. matrix a square matrix whose main diagonal are all 1's anfinite The given elements are limited or countable and its last element can be identified.
- 23. ≡
- 24. consists of those elements which belong to A and to B but not to both A and B
- 27. the way a function is written
- 28. set of elements which belongs to A but which does not belong to B
- 30. usually named by the uppercase letters A,B,C,....,X,Y,Z
- 31. the derivation procedure to test the validity of an argument
- 32. a statement that is not decomposable into simple statement
- 35. Set of all possible elements under consideration
- 37. non-diagonal entries are zeros
- 38. they have the same elements
- 39. matrix A diagonal matrix with all its main diagonal entries equal
- 42. also called equality or diagonal relation on A
- 45. In this method,the elements of a set are listed or enumerated and enclosed in braces.
- 46. Set of elements which belongs to the universal set U but which does not belong to A
- 48. the relation from B to A given by bRraise to negative 1 a if and only if aRb
- 49. if whenever (a,b) and (b,a) belong to R then a=b
- 51. if whenever (a,b)∈R,then (b,a)∈R
- 55. number of edges leaving the vertex
- 57. "if p,then q"
- 58. denoted by trA
- 59. usually denoted by lowercase letters a,b,....,x,y,z
Down
- 2. if whenever (a,b),(b,c)∈R then (a,c)∈R
- 3. (1⇒0)↔(0v0)
- 5. it symbolizes by caret "^"
- 6. a number that says how many of something there are, such as one, two, three, four, five
- 7. The set of al elements which belong to both A and B
- 9. used to define the elements of set
- 11. n+1
- 12. if p then q
- 13. p implies q in symbol
- 16. if and only if for every element b
- 17. indirect reasoning is a process of reaching a conclusion from one or more statements
- 18. a square matrix whose elements above the diagonal are all zeros
- 19. circles in directed graph
- 22. number of edges terminating at the vertex
- 25. a set of statements in which one of the statements is called the conclusion and the rest comprise the hypothesis
- 26. portion of a set
- 29. they have the same number of elements
- 33. The set of all elements which are in atleast A or B
- 34. They are disjoint and if when combined collectively they form the universal set.
- 36. a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions).
- 40. a proposition that is always false
- 41. The given elements are limited or countable and its last element can be identified.
- 43. kind of set
- 44. "p if and only if 1"
- 47. p and q
- 50. if for every a∈A,(a,a)∈R
- 52. it is symbolizes by tilde "~"
- 53. A set with only one element
- 54. They have no elements in common
- 56. A set containing no objects or elements