Flashcard FC97923
Como se representa logicamente a negação da sentença "Se P, então Q"?
Lógica de Proposições
CEBRASPE (CESPE) · 2022
Como se representa logicamente a negação da sentença "Se P, então Q"?
Mostrar resposta e comentário
Resposta
¬(P→Q) ≡ P ∧ ¬QExplicação:
A negação de um condicional é verdadeira somente quando o antecedente é verdadeiro e o consequente é falso.
Formalmente: \( \neg(p\to q)\equiv p\land\neg q\).
Exemplo:
Condicional: "Se houver energia, então o sistema ligará."
Negação: "Há energia e o sistema não ligará."
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/86439
Conteúdo do catálogo FC Concursos · Atualizado em