Logic Symbols

123456789101112131415
Across
  1. 2. means two statements always have the same truth value
  2. 4. +
  3. 6. ^
  4. 7. &
  5. 11. |
  6. 12. often implies a causal or logical relationship where one statement leads to another.
  7. 13. used in logical arguments and mathematical proofs to indicate a conclusion that follows logically from the preceding statements
  8. 14. used to represent negation or complementation
  9. 15. !
Down
  1. 1. This is a logical operation that is true when either one, but not both, of its operands are true.
  2. 3. means that if the statement before the symbol (the antecedent) is true
  3. 5. negation
  4. 8. Sometimes it is used to denote a specific truth value.
  5. 9. used in a context where its meaning is inverted or different from its usual function
  6. 10.