M maryjaneb New member Joined May 4, 2021 Messages 1 May 5, 2021 #1 Could someone help me solve the following natural deduction? |- ~ (~A ∧ ~B) ↔ (~A → B) If possible, I need to answer according to the pattern below:
Could someone help me solve the following natural deduction? |- ~ (~A ∧ ~B) ↔ (~A → B) If possible, I need to answer according to the pattern below:
