Flashcard FC511739
Qual regra de inferência permite deduzir \(p \to r\) a partir de \(p \to \neg q\) e \(\neg q \to r\)?
Lógica de Proposições
IBFC · 2023
Qual regra de inferência permite deduzir \(p \to r\) a partir de \(p \to \neg q\) e \(\neg q \to r\)?
Mostrar resposta e comentário
Resposta
Silogismo hipotético (transitividade de implicações).De \(p \to \neg q\) e \(\neg q \to r\) segue \(p \to r\), porque o consequente do primeiro condicional é o antecedente do segundo, permitindo encadear as implicações.
exemplo:
Se foi feito backup, então os dados não foram perdidos, \(p \to \neg q\).
Se os dados não foram perdidos, então a recuperação foi bem-sucedida, \(\neg q \to r\).
Portanto, se foi feito backup, então a recuperação foi bem-sucedida, \(p \to r\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509371
Conteúdo do catálogo FC Concursos · Atualizado em