Flashcard FC381844
De (P → Q) e ¬Q, qual inferência válida e como se expressa ¬(P ∨ R)?
Lógica de Proposições
FCC · 2019
De (P → Q) e ¬Q, qual inferência válida e como se expressa ¬(P ∨ R)?
Mostrar resposta e comentário
Resposta
Modus Tollens: \(P\to Q,\ \lnot Q\models\lnot P\)De Morgan: \(\lnot(P\lor R)\equiv\lnot P\land\lnot R\)
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372388
Conteúdo do catálogo FC Concursos · Atualizado em