Flashcard FC219620
Se \(A \rightarrow B\) e \(B \rightarrow \neg C\), o que se pode inferir sobre \(A\) e \(C\)?
Lógica de Proposições
VUNESP · 2022
Se \(A \rightarrow B\) e \(B \rightarrow \neg C\), o que se pode inferir sobre \(A\) e \(C\)?
Mostrar resposta e comentário
Resposta
\(A \rightarrow \neg C\).Porque pelo silogismo hipotético: de \(A\rightarrow B\) e \(B\rightarrow \neg C\) segue-se \(A\rightarrow \neg C\).
Ou seja, se A implica B e B exclui C, então A também exclui C.
exemplo:
\(J\rightarrow L\) — usar jaleco implica usar luvas.
\(L\rightarrow \neg R\) — usar luvas impede usar relógio.
\(\Rightarrow J\rightarrow \neg R\) — logo, usar jaleco impede usar relógio.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições Compostas
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/219587
Conteúdo do catálogo FC Concursos · Atualizado em