Mathematical Logic

Edit Answers
123456789101112131415
Across
  1. 2. encode how propositions are related
  2. 6. _________ Logic is a mathematical system for reasoning about propositions and how they relate to one another
  3. 7. is an assertion of Propositional Logic that is false in all situations; that is, it is false for all possible values of its variables.
  4. 8. Logical NOT = Logical _______(¬p)
  5. 9. Intuitively, either both p and q are true, or neither of them are.(p ↔ q)
  6. 12. Logical OR = Logical _______( p ∨ q)
  7. 14. a form of algebra for logical expressions similar to the algebra for numerical expressions.
  8. 15. each propositional ________ represents some proposition; usually represented as lower-case letters, such as p, q, r, s, etc.
Down
  1. 1. Logical AND = Logical ________( p ∧ q)
  2. 3. If two propositional logic statements have the same truth values as one another, they are called logically ______
  3. 4. is an assertion of Propositional Logic that is true in all situations; that is, it is true for all possible values of its variables.
  4. 5. a statement that is, by itself, either true or false.
  5. 10. a mathematical table used in logic.
  6. 11. is the opposite of the given mathematical statement.(¬p)
  7. 13. (also known as conditional) It is false only when p is true and q is false, and is true in all other situations.(p → q)