LOGIC

Edit Answers
1234567891011121314
Across
  1. 2. A truth value representing negation. (F)
  2. 4. Logical negation, true if the operand is false. (¬)
  3. 6. Logical disjunction, true if at least one operand is true. (∨)
  4. 8. Indicates a logical conclusion or result.(∴)
  5. 9. Logical biconditional, true if both operands are either true or false. (↔)
  6. 12. Logical operation, true if both operands are false (NOT OR). (↓)
  7. 13. Indicates the reason or evidence supporting a conclusion. (∵)
Down
  1. 1. A statement that is always true regardless of the truth values of its components.
  2. 3. A truth value representing affirmation. (T)
  3. 5. Exclusive or, true if exactly one operand is true. (⊕)
  4. 7. Logical implication, true if the first operand implies the second. (→)
  5. 8. exists Existential quantifier, true if there is at least one element for which the statement holds. (∃)
  6. 10. Universal quantifier, true if the statement holds for all elements. (∀)
  7. 11. Logical operation, true if at least one operand is false (NOT AND). (⊼)
  8. 14. Logical conjunction, true if both operands are true.(∧)