Ano: 2008Banca: CESPE / CEBRASPECargo: Técnico do Seguro SocialConcurso: INSS
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 da forma ∀xP(x), lida como “para todo x, P(x)", em que x é um elemento qualquer de um conjunto U, e P(x) é uma propriedade a respeito dos elementos de U, então é preciso explicitar U e P para que seja possível fazer o julgamento como V ou como F. 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.