Flashcard FC302784
Qual é a negação lógica de uma condicional "Se A, então B"?
Lógica de Proposições
FGV · 2022
Qual é a negação lógica de uma condicional "Se A, então B"?
Mostrar resposta e comentário
Resposta
¬(A→B) ≡ A ∧ ¬BExplicação:
A negação de uma condicional afirma que o antecedente ocorre e a consequência não ocorre.
Em símbolos: \( \neg(A\rightarrow B)\equiv A\land\neg B\).
Exemplo:
Condicional: "Se estiver escuro (A), então acendo a luz (B)".
Sua negação: "Está escuro e não acendo a luz" — isto é, A ∧ ¬B.
Se A=true e B=false, então \(A\rightarrow B\) é falso e \( \neg(A\rightarrow B)\) é verdadeiro.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Tabela Verdade
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/299874
Conteúdo do catálogo FC Concursos · Atualizado em