Multiple Choice
[(P Q) ⊃ R] ⊃ [S ⊃ (Q ⊃ R) ]
Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
A) [(P Q) ⊃ R] ⊃ [S ⊃ (Q ⊃ R) ]
B) [(P Q) ⊃ R] ⊃ (S ⊃ Q)
C) [(P Q) ⊃ R] ⊃ S
D) (P Q) ⊃ R
E) (P Q
Correct Answer:

Verified
Correct Answer:
Verified
Related Questions
Q298: If a river is constantly moving
Q299: Construct a derivation to prove that each
Q300: derive the conclusions of each of
Q301: 1. ∼W • ∼X<br>2. Y ⊃
Q302: 1. A ⊃ (B <span
Q304: 1. (U • Y) ⊃ Z<br>2. ∼Z<br>-Which
Q305: derive the conclusions of each of the
Q306: 1. T ⊃ S<br>2. S ⊃ R<br>3.
Q307: determine whether the given proposition is a
Q308: I know something if, and only