📚 Practice Mode

Mathematical Logic and Set Theory

Learn at your own pace with hints and detailed explanations

1 / 15
Multiple Choice

Which of the following is a tautology in propositional logic?

  1. ¬(P ∨ Q)
  2. (P → Q) → ¬P
  3. P ∨ (¬P ∧ Q)
  4. ¬(P ∧ Q) → (¬P ∨ ¬Q)