Flashcard FC381842
Qual regra permite inferir p a partir de p ∨ q e ¬q?
Lógica de Proposições
FCC · 2019
Qual regra permite inferir p a partir de p ∨ q e ¬q?
Mostrar resposta e comentário
Resposta
Silogismo disjuntivo
\( (p\vee q),\ \neg q\vdash p \)
Da disjunção e da negação de um termo, infere-se o outro.
\( (p\vee q),\ \neg q\vdash p \)
Da disjunção e da negação de um termo, infere-se o outro.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/372386
Conteúdo do catálogo FC Concursos · Atualizado em