Flashcard FC511790
Dadas as premissas \( \exists x\,(P(x)\land Q(x)) \) e \( \forall x\,(R(x)\to\lnot Q(x)) \), qual conclusão logicamente válida?
Lógica de Proposições
IBFC · 2018
Dadas as premissas \( \exists x\,(P(x)\land Q(x)) \) e \( \forall x\,(R(x)\to\lnot Q(x)) \), qual conclusão logicamente válida?
Mostrar resposta e comentário
Resposta
\( \exists x\,(P(x)\land\lnot R(x)) \).Da segunda premissa segue a forma equivalente \( \forall x\,(Q(x)\to\lnot R(x)) \), portanto qualquer indivíduo que satisfaça \(Q\) não pode satisfazer \(R\). Como existe um indivíduo com \(P\) e \(Q\), esse indivíduo também satisfaz \(\lnot R\), resultando em \( \exists x\,(P(x)\land\lnot R(x)) \).
Exemplo:
Premissas: \( \exists x\,(Livro(x)\land Digital(x)) \) e \( \forall x\,(Pirata(x)\to\lnot Digital(x)) \).
Interpretação: existe um livro digital, e todo livro pirata não é digital, então esse livro digital não é pirata, logo \( \exists x\,(Livro(x)\land\lnot Pirata(x)) \).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509422
Conteúdo do catálogo FC Concursos · Atualizado em