Crowdly
Add to Chrome
Which of the following rules are applicable on sequent ¬a ∨ b, ¬(a ∧ (¬c ∨ d)), ...
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Which of the following rules are applicable on sequent ¬a ∨ b, ¬(a ∧ (¬c ∨ d)), ¬e ⊢ a in the next step?
✅
❌
✅
❌
❌
❌
❌