Flashcard FC242062
Se "Todos A são B" e "x é A ou C" são verdadeiros, qual conclusão válida sobre x pode ser inferida?
Lógica de Proposições
CESGRANRIO · 2012
Se "Todos A são B" e "x é A ou C" são verdadeiros, qual conclusão válida sobre x pode ser inferida?
Mostrar resposta e comentário
Resposta
B ou CExplicação:
De "Todos A são B" obtemos a condicional A(x) → B(x) para o objeto x.
Dada a disjunção A(x) ∨ C(x), há duas possibilidades: se A(x) então, por A(x) → B(x), B(x) é verdadeira; se A(x) não é verdadeira, pela disjunção deve valer C(x).
Portanto conclui‑se logicamente B(x) ∨ C(x).
Exemplo:
Todos os frutos cítricos são ácidos. Um item é cítrico ou é uma noz. Logo, o item é ácido ou é uma noz.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/236878
Conteúdo do catálogo FC Concursos · Atualizado em