Flashcard FC97943
Qual a representação lógica da negação de uma condicional "se A então B"?
Lógica de Proposições
CEBRASPE (CESPE) · 2021
Qual a representação lógica da negação de uma condicional "se A então B"?
Mostrar resposta e comentário
Resposta
\(\neg(A\to B)\equiv A\land\neg B\).A condicional \(A\to B\) é falsa apenas quando \(A\) é verdadeira e \(B\) é falsa; por isso sua negação exige manter o antecedente e negar o consequente.
Exemplo:
Seja A = "há energia" e B = "o computador liga".
Então \(\neg(A\to B)\) equivale a \(A\land\neg B\), isto é, "há energia e o computador não liga".
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/86459
Conteúdo do catálogo FC Concursos · Atualizado em