Sentenças abertas

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: 

Comente!