Fórum de Matemática
DÚVIDAS? Nós respondemos!

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\)

Bom dia,

Esta dúvida foi tratada aqui neste tópico.

_________________
Fraol
_{Você também pode contribuir, se souber alguma questão responda ou participe da discussão. Divulgue nosso forum.}