Arrange the following steps of proving the valid argument: ~(A ⊃ B) / ∴ A in sequence:

1.~~A · ~B

2.~(A ⊃ B)

3.A

4.~(~A ∨ B)

5.~~A

A2, 1, 4, 3, 5

B2, 4, 1, 5, 3

C1, 4, 5, 3, 2

D3, 5, 1, 2, 4

🔒 Answer hidden — practise on Mcqkart to check yourself and see the explanation.

Want more like this? Create a free account to practise a full test, track your progress, and get spaced-repetition review.