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).
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.