Flashcard FC511643
Qual é a negação logicamente equivalente de uma proposição condicional p → q?
Lógica de Proposições
IBFC · 2025
Qual é a negação logicamente equivalente de uma proposição condicional p → q?
Mostrar resposta e comentário
Resposta
\( \neg(p \to q) \equiv p \land \neg q \)Explicação:
A negação de "se p então q" é verdadeira somente quando p é verdadeira e q é falsa, portanto equivale a \(p \land \neg q\).
Exemplo:
Proposição: "Se o interruptor está ligado (p), então a lâmpada acende (q)".
Negação: "O interruptor está ligado e a lâmpada não acende", formalmente \( \neg(p \to q) \equiv p \land \neg q \).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509275
Conteúdo do catálogo FC Concursos · Atualizado em