Flashcard FC831463
Como se nega logicamente a implicação \(p \to q\) em termos de \(p\) e \(q\)?
Lógica de Proposições
SELECON · 2024
Como se nega logicamente a implicação \(p \to q\) em termos de \(p\) e \(q\)?
Mostrar resposta e comentário
Resposta
\( \neg(p\to q) \equiv p \land \neg q\)Explicação:
A implicação \(p\to q\) é falsa apenas quando \(p\) é verdadeira e \(q\) é falsa, portanto sua negação afirma que \(p\) ocorre e \(q\) não ocorre, logo \( \neg(p\to q)\equiv p\land\neg q\).
exemplo:
Se \(p\) = "o motor está ligado" e \(q\) = "o carro se move",
\(p\to q\): "Se o motor está ligado, então o carro se move".
\(\neg(p\to q)\): "o motor está ligado e o carro não se move", ou seja \(p\land\neg q\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/828949
Conteúdo do catálogo FC Concursos · Atualizado em