Flashcard FC98714
Qual é a negação logicamente equivalente da proposição condicional "Se p, então q"?
Lógica de Proposições
CEBRASPE (CESPE) · 2017
Qual é a negação logicamente equivalente da proposição condicional "Se p, então q"?
Mostrar resposta e comentário
Resposta
\( \neg(p \to q) \equiv p \wedge \neg q\)Explicação:
A negação de um condicional não é a conjunção de p com a negação de q. Ou seja, para refutar "Se p então q" basta que p ocorra e q não ocorra.
Exemplo:
Proposição: Se estudar (p), então passa no exame (q).
Negação correta: Estuda e não passa.
Em fórmula: \( \neg(p \to q) \equiv p \wedge \neg q\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/94297
Conteúdo do catálogo FC Concursos · Atualizado em