Додати до Chrome
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Which of the following rules are applicable on sequent ¬(a ∧ (¬c ∨ d)), ¬e, a ⊢ ¬a ∧ b in the next step?
A-∨
P-¬
A-¬
This is an axiom.
P-∧
P-∨
A-∧
Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!