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/ |