Flashcard FC302787
Dado o condicional p → q e sabendo ¬q, qual inferência válida pode ser feita?
Lógica de Proposições
FGV · 2018
Dado o condicional p → q e sabendo ¬q, qual inferência válida pode ser feita?
Mostrar resposta e comentário
Resposta
Inferir ¬p pela contrapositiva: \( \neg q \to \neg p\).Um condicional \(p\to q\) é logicamente equivalente à sua contrapositiva \( \neg q \to \neg p\). Portanto, se se tem \( \neg q\), pode-se concluir \( \neg p\).
exemplo:
Considere:
p = "o interruptor está ligado", q = "a lâmpada está acesa".
Premissa: \(p \to q\) (se o interruptor está ligado, então a lâmpada acende).
Observação: \( \neg q\) (a lâmpada não está acesa).
Conclusão válida: \( \neg p\) (o interruptor não está ligado), por contrapositiva.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Tabela Verdade
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/299877
Conteúdo do catálogo FC Concursos · Atualizado em