Crowdly
Add to Chrome
Which of the following rules are applicable on sequent ¬(a ∧ (¬c ∨ d)), ¬e, a ⊢...
✅ 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 ∧ (¬c ∨ d)), ¬e, a ⊢ ¬a ∧ b in the next step?
0%
0%
100%
0%
100%
0%
0%