Flashcard FC97971
Qual a diferença lógica entre negar uma implicação e afirmar a implicação?
Lógica de Proposições
CEBRASPE (CESPE) · 2021
Qual a diferença lógica entre negar uma implicação e afirmar a implicação?
Mostrar resposta e comentário
Resposta
¬(A→B) ≡ A ∧ ¬B(A→B) ≡ ¬A ∨ B
Explicação:
Negar uma implicação não é o mesmo que afirmá‑la; a negação de A→B exige que A seja verdadeiro e B falso ao mesmo tempo, enquanto afirmar A→B permite que A seja falso ou que B seja verdadeiro.
Exemplo:
Seja A = "a chave está na ignição" e B = "o motor liga".
- A→B (se a chave está, então o motor liga) é falsificado apenas quando a chave está e o motor não liga;
- ¬(A→B) significa exatamente que a chave está na ignição e o motor não liga (situação que mostra a implicação falsa).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/86487
Conteúdo do catálogo FC Concursos · Atualizado em