1 (N ⊃ O) ⊃ P
2 $\lor$ O) ≡ (∼Q ⊃ R)
3

1. (N ⊃ O) ⊃ P
2. (∼N $\lor$ O) ≡ (∼Q ⊃ R)
3. R $\lor$ (S ⊃ Q)
-Consider assuming '∼P' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?

A) (N ⊃ O) ≡ (∼Q ⊃ R)
B) (∼N ⊃ O) ≡ (∼Q ⊃ R)
C) (∼N $\lor$ O) ≡ (R ⊃ ∼Q)
D) (∼N $\lor$ O) ≡ (∼∼Q ⊃ ∼R)
E) (O ⊃ ∼N) ≡ (∼Q ⊃ R)

Correct Answer:

Verified

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

Access For Free