LOGIC SYMBOL

123456789101112131415
Across
  1. 4. – Semantic entailment; a formula logically follows from another.
  2. 5. – Another notation for logical implication.
  3. 7. - It is not the case that
  4. 8. - Represents a statement that is always true.
  5. 10. – Symbol for the set of integers.
  6. 13. – Symbol for the set of natural numbers.
  7. 14. – Set of elements belonging to at least one of two sets
  8. 15. - If the first is true, then the second is true
Down
  1. 1. - Both are true
  2. 2. - Represents a statement that is always false.
  3. 3. - Used to denote a conclusion derived from premises.
  4. 6. – Set of elements common to two sets.
  5. 9. - At least one is true
  6. 11. - Denotes syntactic entailment; indicates that a statement can be derived from a set of axioms.
  7. 12. – Always true proposition.