Hello guys,
I really need help from you about natural deduction. I just can't get to solve theses problems. Can anyone give me the solutions ? I've been trying for hours... Thanks a lot !
Premise 1 : B,
Premise 2 : C→(¬B∨A)
Premise 3: ¬C→¬(A∨B)
Conclusion : A≡C
____
Premise 1: (A∨B)∨C...