Quantificação universal

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes. O resultado é uma afirmação universalmente quantificada. Em símbolos lógicos, o quantificador universal (usualmente ∀) é o símbolo usado para denotar o universo de quantificação, informalmente lido como "para todo".

Princípios[editar | editar código-fonte]

Suponha o seguinte:

2·0 = 0 + 0, e 2·1 = 1 + 1, e 2·2 = 2 + 2, etc.

Isto parece ser uma conjunção lógica por causa do uso repetido do "∧" (no exemplo, o símbolo "+"). Entretanto “etc.” não pode ser interpretado como um conectivo na lógica formal. Podemos reescrever a indicação como:

Para todos os naturais, 2·n = n+n

Esta é uma simples sentença usando quantificação universal.

Observe que a segunda indicação é mais precisa do que a primeira. Parece óbvio que “etc.” significa incluir todos os números naturais, e nada mais, porém isto não foi indicado explicitamente, o que é essencialmente o motivo pelo qual a frase não pode ser interpretada formalmente. Na quantificação universal, os números naturais são mencionados explicitamente.

Este particular exemplo é verdadeiro, porque nós podemos colocar qualquer número natural para n na sentença "2·n = n+n" e ela será verdadeira. Por outro lado, "Para todo número natural n, 2·n > 2+n" é falso, porque se você observar "n=1"', teremos "2·1 > 2+1", o que não é verdade. Mesmo que essa sentença seja verdadeira para a maioria dos números naturais, a existência de um único contra-exemplo é o bastante para tornar a quantificação universal falsa.

Por outro lado, "Para todo número natural composto, 2·n > 2+n" é verdadeira, porque nenhum dos contra-exemplos existentes são números compostos. Isto indica a importância do domínio de discurso, que especifica quais valores n são permitidos. Porém, em particular, note que se você desejar restringir o domínio de discurso para consistir somente naqueles objetos que satisfazem a um determinado predicado, para a quantificação universal, você o faz com um condicional lógico. Por exemplo, "Para todo número composto n, 2·n > 2+n" é logicamente equivalente a "Para todo número natural, se ele for composto, então 2·n > 2+n". Aqui, a construção "se... então" indica a condição lógica.

Em símbolos lógicos, nós usamos o quantificador universal (usualmente ∀) para indicar a quantificação universal. Então, se P(n) é o predicado "2·n > 2+n", e n sendo o conjunto dos números naturais, então:

 \forall{n}.\, P(n) é uma falsa sentença.

De modo similar, se Q(n) é o predicado “n é composto”, então:

 \forall{n}.Q(n){\rightarrow}\; P(n) é uma sentença verdadeira.

Existe uma notação especial aplicada somente a quantificação universal, onde os parênteses indicam o quantificador universal:

 (n{\in}\mathbf{N})\, P(n)

Propriedades[editar | editar código-fonte]

Negação[editar | editar código-fonte]

Note que uma função proposicional quantificada é uma sentença. Então, como sentenças, funções quantificadas podem ser negadas. A notação, lógica e matemática, usada para denotar a negação é: \neg\,.

Por exemplo, sendo P(x) a função proposicional "x é casado", então, para um universo de discurso X de todos os humanos vivos, considerar a quantificação universal: "Toda pessoa viva x, é uma pessoa casada".

\forall{x}\, P(x)

É fácil perceber que esta sentença não é verdadeira, pois sabemos que nem todas as pessoas vivas são casadas. Então, nós podemos dizer: "Não é o caso que, dada qualquer pessoa viva x, ela seja casada", ou, simbolicamente:

\lnot\ \forall{x}.\,P(x)

Observe que negar o quantificador universal significa que se uma sentença não é verdadeira para todos os elementos do Universo de discurso, então há pelo menos um elemento para o qual a sentença é falsa. Logo, a negação de \forall{x}\, P(x) é logicamente equivalente a "Existe uma pessoa viva x que não é casada", ou, \exists{x}\, \lnot P(x)

De modo geral, a negação do quantificador universal de uma função proposicional é equivalente a uma quantificação existencial sobre a negação da mesma função proposicional. Simbolicamente:

\lnot\ \forall{x}.\, P(x) \equiv\ \exists{x}.\, \lnot P(x)

Um erro comum é escrever "Todas as pessoas não são casadas" (ou seja, "não existe nenhuma pessoa que seja casada!"), quando na verdade significa "nem todas as pessoas são casadas" (ou seja, "existe uma pessoa que não é casada!"):

\lnot\ \exists{x}\, P(x) \equiv\ \forall{x}\, \lnot P(x) \not\equiv\ \lnot\ \forall{x}\, P(x) \equiv\ \exists{x}\, \lnot P(x)

Regras de inferência[editar | editar código-fonte]

Uma regra de inferência é uma regra que justifica um passo lógico de uma hipótese para uma conclusão. Há algumas regras de inferência que utilizam o quantificador universal.

A Instanciação Universal conclui que, se uma função proposicional é universalmente verdadeira, então ela deve ser verdadeira para qualquer elemento arbitrário do universo de discurso. Simbolicamente, isto é representado como:

 \forall{x}.\, P(x) \to\ P(c) onde c é um elemento completamente arbitrário do universo de discurso.

A Generalização Universal conclui que a função proposicional será considerada universalmente verdadeira se é verdadeira para algum elemento arbitrário do Universo de Discurso. Simbolicamente, para um elemento arbitrário c:

 P(c) \to\ \forall{x} P(x)

É especialmente importante notar que c deve ser completamente arbitrário, senão, a lógica não segue; se c não é arbitrário, e é um elemento específico do universo de discurso, então P(c) somente implica numa quantificação existencial da função proposicional.

Ver também[editar | editar código-fonte]

Referências gerais[editar | editar código-fonte]

  • Hinman, P.. Fundamentals of Mathematical Logic. [S.l.]: A K Peters, 2005. ISBN 1-568-81262-0.