Flashcard FC831514
Como se nega logicamente uma proposição condicional P → Q?
Lógica de Proposições
SELECON · 2023
Como se nega logicamente uma proposição condicional P → Q?
Mostrar resposta e comentário
Resposta
\( \neg(P \rightarrow Q) \equiv P \land \neg Q\)A implicação é falsa somente quando o antecedente é verdadeiro e o consequente é falso, portanto a negação mantém o antecedente e nega o consequente,
Exemplo: Proposição: "Se o sensor detecta presença, então a luz acende".
P: sensor detecta presença, Q: luz acende.
Negação: "O sensor detecta presença e a luz não acende."
Fórmula: \( \neg(P \rightarrow Q) \equiv P \land \neg Q\)
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829000
Conteúdo do catálogo FC Concursos · Atualizado em