Flashcard FC302944
Qual regra lógica permite inferir \(p\) a partir de \(p \vee q\) e \(\neg q\)?
Lógica de Proposições
FGV · 2015
Qual regra lógica permite inferir \(p\) a partir de \(p \vee q\) e \(\neg q\)?
Mostrar resposta e comentário
Resposta
Silogismo disjuntivo.Se \(p\vee q\) é verdadeira e \(\neg q\) também, então a disjunção só se mantém verdadeira se \(p\) for verdadeira; formalmente: \(p\vee q,\ \neg q \models p\).
exemplo:
Estudo para a prova ou saio com amigos.
Se não saio com amigos, então estudo para a prova.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300034
Conteúdo do catálogo FC Concursos · Atualizado em