25 fev 2013, 18:29
Qual das seguintes alternativas não utiliza a regra Silogismo Hipotético para deduzir a conclusão dos argumentos?
Escolha uma:
\(a) (P \rightarrow R \vee \sim S),(R \vee \sim S \rightarrow T) \vdash P \rightarrow T\)
\(b) (P \rightarrow R), (\sim Q \rightarrow \sim S), P \vee \sim Q \vdash R \vee \sim S\)
\(c) S \vee T \rightarrow R \wedge Q, R \wedge Q \rightarrow \sim P \vdash S \vee T \rightarrow \sim P\)
\(d) X= 3\rightarrow X <Y, X<Y \rightarrow X = 3\rightarrow X \neq Z\)