Logic Symbols

123456789101112131415
Across
  1. 2. used to indicate a quotation within another quotation
  2. 4. ∵
  3. 5. two or more values are the same or have the same value
  4. 9. a straight line that runs from top to bottom or bottom to top
  5. 10. means addition
  6. 11. an "approximately equal to" or "equivalent to" relationship between two values
  7. 13. term used to refer to the symbol &, which stems from the ligature of the Latin word et, meaning “and.”
  8. 15. used to indicate an exponent, meaning it signifies that a number is being raised to a certain power
Down
  1. 1. if something is true, then something else is also true
  2. 3. represented by the symbol "∃" and is called an existential quantifier
  3. 6. a V-shaped symbol that's often used in typography and proofreading
  4. 7. a horizontal line above a number or symbol, or a method for solving problems
  5. 8. a mathematical symbol representing a specific operation
  6. 12. ∀
  7. 14. used to indicate a logical consequence