1. A ⊃ ∼B
2. A $ \lor $ (B ≡ ∼C)
3. B
-Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
A) A
B) ∼B
C) ∼C
D) All of the above
E) None of the above

Question

Quizplus · Accepted Answer

The Answer of 1. A ⊃ ∼B
2. A $ \lor $ (B ≡ ∼C)
3. B
-Which of the following propositions is derivable from the given premises using the rules available through section 3.4 (MP, MT, DS, HS, Add, Conj, Simp, CD, DM, Dist, Assoc, Com, DN, Cont, Impl, Equiv, Exp, Taut)?
A) A
B) ∼B
C) ∼C
D) All of the above
E) None of the above

1 a ⊃ ∼B 2 ∨ \lor ∨ (B ≡ ∼C) 3

1 a ⊃ ∼B
2 $\lor$ (B ≡ ∼C)
3