Flashcard FC571759
Qual é a negação lógica de uma condicional p→q?
Lógica de Proposições
CEV UECE · 2013
Qual é a negação lógica de uma condicional p→q?
Mostrar resposta e comentário
Resposta
\( \neg(p\to q)\equiv p\land\neg q \)Explicação: A condicional é falsa apenas quando o antecedente é verdadeiro e o consequente é falso, por isso a negação mantém o antecedente, nega o consequente e os une por e.
Exemplo:
Proposição: Se o alarme tocar, então há incêndio.
Negação: O alarme tocou e não há incêndio.
Em símbolos, com \(p\)= "alarme toca", \(q\)= "há incêndio", temos \( \neg(p\to q)\equiv p\land\neg q \).
Se \(p=V,\ q=F\), então \(p\land\neg q = V\land\neg F = V\land V = V\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/571565
Conteúdo do catálogo FC Concursos · Atualizado em