Q15

MSQ1 mark

Choose the correct choice(s) regarding the following proportional logic assertion $S$ :

S: (( P \wedge Q) \rightarrow R) \rightarrow (( P \wedge Q) \rightarrow (Q \rightarrow R))

(A)

$S$ is neither a tautology nor a contradiction

(B)

$S$ is a tautology

(C)

$S$ is a contradiction

(D)

The antecedent of $S$ is logically equivalent to the consequent of $S$

Loading…