Logic

123456789101112131415
Across
  1. 3. used before a logical consequence, such as the conclusion of a syllogism.
  2. 7. The inverted form of the therefore sign ( ∴ ) used in proofs before logical consequences
  3. 8. +
  4. 9. a binary operation that is treated like addition.
  5. 12. ⋅
  6. 13. ∨
  7. 15. means "approximately" and in logic it means "not."
Down
  1. 1. the compound statement of the form “if p, then q.” It is denoted p⇒q
  2. 2. to express the existence of a variable.
  3. 4. two values, numbers or quantities which are the same
  4. 5. &
  5. 6. x’
  6. 10. ^
  7. 11. a simple method used to express a repeating number by placing a line over the number that repeats
  8. 14. something is true for EVERY object under discussion, WITHOUT EXCEPTION.