Questão FC626362
Admita que as seguintes proposições são verdadeiras: – Alguns candidatos foram contratados. – Todos os contratados sabiam lógica. A partir dessas premissas, pode-se inferir que:
Lógica de Proposições
NC UFPR (FUNPAR) · 2019
Admita que as seguintes proposições são verdadeiras:
– Alguns candidatos foram contratados.
– Todos os contratados sabiam lógica.
A partir dessas premissas, pode-se inferir que:
- Foi contratada pelo menos uma pessoa que não sabia lógica.
- Todas as pessoas que sabiam lógica foram contratadas.
- Pessoas que sabem lógica não foram contratadas.
- Quem sabia lógica foi contratado.
- Pelo menos um candidato contratado sabia lógica.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Premissas: "Alguns candidatos foram contratados" indica uma afirmação existencial (\(\exists x\) candidato(x) ∧ contratado(x)). "Todos os contratados sabiam lógica" é uma afirmação universal (\(\forall x\) contratado(x) → sabia_lógica(x)).
Extraia um indivíduo: da existência, tome um elemento \(a\) tal que candidato(a) e contratado(a). Aplicando a regra universal, como contratado(a) → sabia_lógica(a), obtemos sabia_lógica(a) por modus ponens.
Assim concluímos que existe pelo menos um candidato que foi contratado e sabia lógica, ou seja, pelo menos um candidato contratado sabia lógica (\(\exists x\) candidato(x) ∧ sabia_lógica(x)).
Conteúdo do catálogo FC Concursos · Atualizado em