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