LOGIC SYMBOL

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