Flashcard FC831564
Qual regra de inferência permite deduzir ¬C a partir das premissas A ∧ ¬B e B ∨ ¬C?
Lógica de Proposições
SELECON · 2023
Qual regra de inferência permite deduzir ¬C a partir das premissas A ∧ ¬B e B ∨ ¬C?
Mostrar resposta e comentário
Resposta
Eliminação da conjunção e silogismo disjuntivo.Explicação:
De \(A \land \lnot B\) aplica-se a eliminação da conjunção, obtendo-se \(\lnot B\).
Com \(\lnot B\) e a disjunção \(B \lor \lnot C\), aplica-se o silogismo disjuntivo (modus tollendo ponens), inferindo-se \(\lnot C\).
exemplo:
Premissas: \(P \land \lnot Q\), \(Q \lor \lnot R\).
De \(P \land \lnot Q\) obtemos \(\lnot Q\).
De \(Q \lor \lnot R\) e \(\lnot Q\) obtemos \(\lnot R\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829050
Conteúdo do catálogo FC Concursos · Atualizado em