List of practice Questions

Choose the correct choice(s) regarding the following propositional logic assertion $S$: \[ S : \big((P \land Q) \rightarrow R\big) \rightarrow \big((P \land Q) \rightarrow (Q \rightarrow R)\big) \]

Let \(p\) and \(q\) be two propositions. Consider the following two formulae in propositional logic.
\[ S_1 : (\neg p \wedge (p \vee q)) \rightarrow q \] \[ S_2 : q \rightarrow (\neg p \wedge (p \vee q)) \] Which one of the following choices is correct?