LOGIC SYMBOL

123456789101112131415
Across
  1. 1. - If the first is true, then the second is true
  2. 5. - At least one is true
  3. 10. – Logically equivalent.; another way to represent bi-implication.
  4. 11. - Represents a statement that is always false.
  5. 13. - Used to denote a conclusion derived from premises.
  6. 14. - Both are true or both are false
  7. 15. - (there exists) There is at least one in the specified set.
Down
  1. 2. - Indicates that two statements are logically equivalent.
  2. 3. - Both are true
  3. 4. - It is not the case that
  4. 6. - Represents a statement that is always true.
  5. 7. - True unless a true statement implies a false one.
  6. 8. - Denotes syntactic entailment; indicates that a statement can be derived from a set of axioms.
  7. 9. - Everything in the specified set
  8. 12. – Represents specific propositions or statements.