Flashcard FC511699
Qual é a negação lógica de um condicional \(p \to q\) em termos de \(p\) e \(q\)?
Lógica de Proposições
IBFC · 2019
Qual é a negação lógica de um condicional \(p \to q\) em termos de \(p\) e \(q\)?
Mostrar resposta e comentário
Resposta
\( \neg(p \to q) \equiv p \land \neg q \)A sentença \(p \to q\) é falsa somente quando \(p\) é verdadeira e \(q\) é falsa.
Portanto, a negação é verdadeira exatamente quando \(p\) e \(\neg q\) são verdadeiros ao mesmo tempo.
Exemplo:
Seja \(p\): "estuda para a prova", \(q\): "passa na prova".
\(p \to q\) afirma que se estuda então passa.
A negação \(p \land \neg q\) corresponde a "estuda para a prova e não passa na prova".
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509331
Conteúdo do catálogo FC Concursos · Atualizado em