Voltar para a lista

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. Se U for o conjunto de todos os funcionários públicos e P(x) for a propriedade "x é funcionário do INSS", então é falsa a sentença ∀xP(x).