Logic Symbols

123456789101112131415
Across
  1. 4. – A statement always false
  2. 8. – The opposite of a statement
  3. 10. – A statement always true
  4. 11. – Conditional statement
  5. 12. – Part of an implication
  6. 13. – Short for "if and only if"
  7. 14. – Negation of an implication’s terms
  8. 15. – An invalid logical value
Down
  1. 1. – A conditional relationship
  2. 2. – A statement true in both directions
  3. 3. – Logical disjunction
  4. 5. – A valid logical value
  5. 6. – Logical negation
  6. 7. – The reversed form of an implication
  7. 9. – Logical conjunction