Sentenças Abertas e Conjuntos Universo

Prévia do material em texto

*
Quantificadores
*
Sentença Aberta
Sejam as proposições:
p: 3+5≤11, V(p)=1
q: x+5 ≤11, V(p)=?
 A proposição p, como podemos ver, é verdadeira, ao passo que nada podemos afirmar sobre o valor lógico na proposição q . V(q), que somente será conhecido quando x for identificado. Neste caso, dizemos que a proposição q é uma sentença aberta ou função proposicional. Nas sentenças abertas, os símbolos x, y, X e outros são chamados variáveis.
*
Chamamos conjunto universo (da variável) ao conjunto das possibilidades lógicas que podem substituir a variável na sentença. Denotaremos esse conjunto por U. Cada elemento de U chama-se valor da variável. U às vezes é tacitamente imposto pelo contexto, mas pode também ser escolhido pelo agente de estudo em questão.
Primeiro Exemplo: Seja a sentença aberta: x+5≤11. Podemos impor que o conjunto universo da variável seja N ou Z ou Q ou R ou o conjunto U={1, 3, 5, 7, ...}.
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*
e) Para todo x, existe y tal que x+y<3.