On suppose que la proposition \(P\) est vraie ainsi que les propositions suivantes :
1
\((\neg Q) \wedge P \Rightarrow \neg S\).
2
\(S \Rightarrow (\neg P) \vee Q\).
3
\(P \Rightarrow R \vee S\).
4
\(S \wedge Q \Rightarrow \neg P\).
5
\(R \wedge \neg (S \vee Q) \Rightarrow T\).
6
\(R \Rightarrow (\neg P) \vee (\neg Q)\).