Questão FC150033
Algumas sentenças são chamadas abertas porque são passíveis de interpretação para que possam ser julgadas como verdadeiras (V) ou falsas (F). Se a sentença aberta for uma expressão
Lógica de Primeira Ordem
A partir das definições acima, julgue o item a seguir.
Considere-se que U seja o conjunto dos funcionários do INSS, P(x) seja a propriedade "x é funcionário do INSS" e Q(x) seja a propriedade "x tem mais de 35 anos de idade". Desse modo, é correto afirmar que duas das formas apresentadas na lista abaixo simbolizam a proposição Todos os funcionários do INSS têm mais de 35 anos de idade.
Mostrar resposta e comentário
Gabarito
Errado
Comentário do professor
Comentário: A afirmação está errada porque, para que a proposição "Todos os funcionários do INSS têm mais de 35 anos de idade" seja corretamente expressa em lógica, devemos utilizar a forma ∀x(P(x) → Q(x)), que significa "para todo x, se x é um funcionário do INSS, então x tem mais de 35 anos de idade". A forma ∀(iii) x(se P(x) então Q(x)) representa exatamente essa relação, enquanto as outras formas não expressam corretamente a intenção da proposição, pois ∀(i) x(se Q(x) então P(x)) sugere que "se alguém tem mais de 35 anos, então é funcionário do INSS", e ∀(ii) x(P(x) ou Q(x)) implica que um funcionário do INSS ou tem mais de 35 anos ou não é funcionário, o que não é equivalente à proposição original.
Conteúdo do catálogo FC Concursos · Atualizado em