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

Um Fórum em Português dedicado à Matemática
Data/Hora: 28 mar 2024, 11:05

Os Horários são TMG [ DST ]




Fazer Nova Pergunta Responder a este Tópico  [ 2 mensagens ] 
Autor Mensagem
 Título da Pergunta: Implicação lógica p-->q
MensagemEnviado: 16 jul 2017, 00:12 
Offline

Registado: 04 abr 2016, 02:18
Mensagens: 28
Localização: São Paulo
Agradeceu: 8 vezes
Foi agradecido: 0 vez(es)
Sejam as proposições p e q onde p implica logicamente q e sejam as negações ~p e ~q. Tem-se que:

a) p é equivalente logicamente a q.
b) p implica logicamente q e q implica p.
c) p implica logicamente q e ~p implica ~q.
d) p e ~q é uma contradição.
e) p ou ~q é uma tautologia.

Inicialmente o gabarito foi (d), mas a questão acabou anulada.

Se a questão considerou que p->q é sempre verdadeiro, então, a letra (e) também deveria ser considerada correta.
O problema estaria nessa suposta premissa equivocada da questão?


Topo
 Perfil  
 
MensagemEnviado: 16 jul 2017, 03:41 
Offline

Registado: 11 jan 2015, 02:31
Mensagens: 539
Localização: Covilhã
Agradeceu: 7 vezes
Foi agradecido: 298 vezes
Se \(p\rightarrow q\) é sempre verdadeiro, então \(p\) tem de ser verdadeiro. Pelo que \(p\vee \sim q\) é uma clausula que se conclui verdadeira por dedução. No entanto não se pode considerar uma tautologia já que existe uma valoração das variáveis que o torna falso.
A reposta d) não pode ser correta pela mesma razão de e). Essa clausula é satisfazível pelo que não pode ser uma contradição. Ser contradição ou uma tautologia não depende de provas, mas sim das possíveis valoração das variáveis.


Topo
 Perfil  
 
Mostrar mensagens anteriores:  Ordenar por  
Fazer Nova Pergunta Responder a este Tópico  [ 2 mensagens ] 

Os Horários são TMG [ DST ]


Quem está ligado:

Utilizadores a ver este Fórum: Nenhum utilizador registado e 57 visitantes


Criar perguntas: Proibído
Responder a perguntas: Proibído
Editar Mensagens: Proibído
Apagar Mensagens: Proibído
Enviar anexos: Proibído

Pesquisar por:
Ir para:  
cron