Discrete Structure

12345678910111213141516171819202122232425262728293031323334353637383940
Across
  1. 1. Logic gate that states that the output is low if any of the inputs are low.
  2. 5. A word that can be used in expressing the disjunction of two statements.
  3. 6. Is a special relation which stresses that no two ordered pairs should have the same first component.
  4. 8. Type of matrix that has equal number of rows and n columns.
  5. 9. also known as not AND gate.
  6. 12. Type of matrix that is a square matrix whose main diagonal are all 1's and 0's elsewhere.
  7. 13. First name of our professor.
  8. 14. Logic gate that is also known as an inverter.
  9. 16. Set with only one element
  10. 17. Compound proposition that denotes p if and only if q.
  11. 21. Logically invalid
  12. 24. One of the three basic logical connectives which corresponds to the English word "and".
  13. 27. Set of all possible elements under consideration
  14. 28. A declarative sentence, assigns one and only one of the two possible truth values true or false.
  15. 31. A word that is also used in math to represent conditionals.
  16. 35. A discipline that deals with the methods of reasoning.
  17. 36. A type of proposition that is a statement on which it is not decomposable into simple simple statement.
  18. 37. A process of reaching a conclusion from one or more statements called hypothesis.
  19. 40. Set of statements in which one of the statements is called the conclusion and the rest comprise the hypothesis.
Down
  1. 2. Our subject.
  2. 3. Language through which we describe patterns.
  3. 4. One of the three basic logical connectives which corresponds to the English word "not".
  4. 7. Matrix B such that AB = BA = 1.
  5. 10. A proposition that can be either true or false.
  6. 11. A kind of proof that is applied only to arguments whose conclusions are conditional statements.
  7. 15. Derivation procedure to test the validity of an argument.
  8. 18. path between two or more points.
  9. 19. One of the three basic logical connectives which corresponds to the English word "or".
  10. 20. Statement that is true for all possible values of its propositional variables.
  11. 22. Can be used to store information in the computer databases.
  12. 23. A kind of diagram that is a pictographic interpretation of sets.
  13. 25. also known as not OR.
  14. 26. Another of proposition a statement formed over the composition of the different statements through the logical connectives.
  15. 29. Logic gate that states that the output is high if any of the inputs are high.
  16. 30. Type of set whose elements are unlimited or uncountable.
  17. 32. Diagonal matrix whose elements in the diagonal are each k, where k is scalar.
  18. 33. A proposition that is always false.
  19. 34. Type of set on which the given elements are limited or countable and its last element can be identified.
  20. 38. Type of matrix that is a square matrix whose non-diagonal entries are all zeros.
  21. 39. A special kind of point that describes the corners or intersections of geometric shapes.