Logic in Math

123456789101112131415
Across
  1. 2. – Studies computable functions
  2. 3. – Uses AND (∧), OR (∨), NOT (¬), IF-THEN (→)
  3. 5. – Rejects unproven statements
  4. 9. – Studies sets, subsets, and relations
  5. 10. – Analyzes mathematical proofs
  6. 11. – Deals with true/false statements
  7. 13. – Explores necessity (□) & possibility (◇
  8. 14. – Examines how structures satisfy logic
  9. 15. – Uses variables and quantifiers (∀, ∃)
Down
  1. 1. – Handles contradictions without collapsing into falsehood
  2. 4. – Allows degrees of truth (0 to 1)
  3. 6. – Requires explicit proofs for existence
  4. 7. – Deals with time-based reasoning
  5. 8. – Focuses on resource usage in logic
  6. 12. – Ensures premises are relevant to conclusions