16. Sentenças abertas

Definições

Supondo que U seja um conjunto e x um elemento desse conjunto, podemos considerar que:

– U é um conjunto-universo e x a variável. 

– a proposição p(x) será uma sentença aberta em U quando p(a) for verdadeira ou p(a) for falsa, ∀a ∈ U. 

– se a ∈ U e p(a) for verdadeira, nesse caso a confirma p(x) ou a é a solução de p(x). 

– O conjunto-verdade de p(x), em U, é formado por todos e somente os elementos de a ∈ U, onde p(a) é uma sentença verdadeira. Veja a representação deste conjunto: {a ∈ U| p(a) é V}.

Exemplos