Fórum de Matemática | DÚVIDAS? Nós respondemos!
https://forumdematematica.org/

Lógica
https://forumdematematica.org/viewtopic.php?f=70&t=1867
Página 1 de 1

Autor:  oescolhido [ 23 fev 2013, 21:33 ]
Título da Pergunta:  Lógica

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

Autor:  Fraol [ 24 fev 2013, 01:02 ]
Título da Pergunta:  Re: Lógica

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.

Autor:  Fraol [ 24 fev 2013, 15:49 ]
Título da Pergunta:  Re: Lógica  [resolvida]

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

oescolhido Escreveu:
\(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\)

Autor:  oescolhido [ 28 fev 2013, 03:40 ]
Título da Pergunta:  Re: Lógica

fraol Escreveu:
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)\):

oescolhido Escreveu:
\(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.

Página 1 de 1 Os Horários são TMG [ DST ]
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/