Flashcard FC76889
Se uma condicional é verdadeira e seu consequente é falso, o que se pode inferir sobre a antecedente?
Lógica de Proposições
VUNESP · 2024
Se uma condicional é verdadeira e seu consequente é falso, o que se pode inferir sobre a antecedente?
Mostrar resposta e comentário
Resposta
A antecedente é falsa.Explicação:
Partindo de uma condicional verdadeira \(P \rightarrow Q\) e da negação do consequente \(\neg Q\), aplica-se o princípio do modus tollens, que permite concluir \(\neg P\).
Formalmente, de \(P \rightarrow Q\) e \(\neg Q\) segue-se \(\neg P\).
Exemplo:
Considere a condicional verdadeira: "Se houver vazamento de gás, o detector dispara".
Formalmente, \(G \rightarrow D\).
Se observamos que o detector não disparou, \(\neg D\), então podemos concluir que não houve vazamento de gás, \(\neg G\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/76680
Conteúdo do catálogo FC Concursos · Atualizado em