Flashcard FC624930
Se \( (P \land Q) \to R \) e \( \neg R \), o que se pode inferir logicamente?
Lógica de Proposições
CESGRANRIO · 2012
Se \( (P \land Q) \to R \) e \( \neg R \), o que se pode inferir logicamente?
Mostrar resposta e comentário
Resposta
\( \neg P \lor \neg Q \)Pela contrapositiva, de \( \neg R \) segue \( \neg(P \land Q)\).
Pelas leis de De Morgan, \( \neg(P \land Q) \) é equivalente a \( \neg P \lor \neg Q \).
Exemplo:
Considere \( (F \land A) \to I \), onde F = houve financiamento, A = projeto aprovado, I = obra iniciada.
Se a obra não foi iniciada, \( \neg I \), então \( \neg(F \land A) \), o que é equivalente a \( \neg F \lor \neg A \).
Em palavras, não houve financiamento ou o projeto não foi aprovado, ou ambos.
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/624271
Conteúdo do catálogo FC Concursos · Atualizado em