Solved

1 a ⊃ (B ∨ \lor ∼C)
2 D ⊃ (∼B • ∼E)
-Which of the Following

Question 146

Multiple Choice

1. A ⊃ (B ∨ \lor ∼C)
2. D ⊃ (∼B • ∼E)
-Which of the following propositions is derivable from the given premises using any of the twenty-five rules of PL and either the direct or conditional methods of proof?


A) (A • D) ⊃ ∼(B ∨ \lor ∼E)
B) (A • D) ⊃ ∼(C ∨ \lor E)
C) (A • D) ⊃ ∼(B ∨ \lor ∼C)
D) (A • D) ⊃ ∼(D ∨ \lor B)
E) (A • D) ⊃ ∼(E ∨ \lor D)

Correct Answer:

verifed

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Related Questions