📘 logic and set theory
Step-by-step solutions with LaTeX - clean, fast, and student-friendly.
Logic Sets Algebra
1. Verify whether the statement $\sim(\sim q \to p) \to \sim q$ is a tautology.
- Recall the implication equivalence: $a \to b \equiv \sim a \lor b$.