Across
- 2. means two statements always have the same truth value
- 4. +
- 6. ^
- 7. &
- 11. |
- 12. often implies a causal or logical relationship where one statement leads to another.
- 13. used in logical arguments and mathematical proofs to indicate a conclusion that follows logically from the preceding statements
- 14. used to represent negation or complementation
- 15. !
Down
- 1. This is a logical operation that is true when either one, but not both, of its operands are true.
- 3. means that if the statement before the symbol (the antecedent) is true
- 5. negation
- 8. Sometimes it is used to denote a specific truth value.
- 9. used in a context where its meaning is inverted or different from its usual function
- 10. •
