Lógica

[oescolhido]

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

[Fraol]

Boa noite,

Você poderia confirmar o enunciado. Pois, na letra b não temos um silogismo hipotético e na letra d a conclusão está distorcida talvez por falta de algo no enunciado.

[Fraol]

Bom dia,

Então para formalizar a resposta temos:

A alternativa que não utililiza a regra Silogismo Hipotético para deduzir a conclusão dos argumentos é a \(b)\).

Quanto à alternativa \(d)\):

\(d) X= 3\rightarrow X <Y, X<Y \rightarrow X = 3\rightarrow X \neq Z\)

Suponho, pela forma como está, que o texto adequado seria:
\(d)\text{ }X=3 \rightarrow X < Y,\text{ } X < Y \rightarrow X \neq Z\text{ } \vdash X=3\rightarrow X \neq Z\)

[oescolhido]

Bom dia,

Então para formalizar a resposta temos:

A alternativa que não utililiza a regra Silogismo Hipotético para deduzir a conclusão dos argumentos é a \(b)\).

Quanto à alternativa \(d)\):

\(d) X= 3\rightarrow X <Y, X<Y \rightarrow X = 3\rightarrow X \neq Z\)

Suponho, pela forma como está, que o texto adequado seria:
\(d)\text{ }X=3 \rightarrow X < Y,\text{ } X < Y \rightarrow X \neq Z\text{ } \vdash X=3\rightarrow X \neq Z\)

Muito Obrigado você está certo a resposta e a letra B.