QUANTIFICADORES E VARIVEIS

Considere o enunciado da forma:

1. TODO ALUNO DE COMPUTAO INTELIGENTE

Usando a letra X como uma varivel para representar objetos individuais, expressamos
tal enunciado por:

Qualquer que seja X, se X Aluno de Computao, ento X inteligente.

Essa reformulao contm um condicional. Adotamos o smbolo para significar

qualquer que seja ou para todo. Esse smbolo chama-se quantificador universal.
Em vez de escrever X Aluno de Computao, escrevemos AL_COMP(X) e, de modo
anlogo, escrevemos INT(X). Usando para o condicional, o enunciado se torna:

x (AL_COMP(x) INT(x))

Esta a formula do clculo de predicados.

O enunciado da forma:

2. NENHUM ALUNO DE COMPUTAO INTELIGENTE

Pode, tambm, ser expresso nessa notao. Ele significa

Qualquer que seja X, se X Aluno de Computao, ento X no Inteligente,

isto :

x (AL_COMP(x) INT(x))

Para expressar as proposies 3 e 4, necessrio um segundo tipo de quantificador. A

proposio:
3. ALGUM ALUNO DE COMPUTAO INTELIGENTE

Pode ser expresso como:

Para pelo menos um X, X Aluno de Computao e X Inteligente

A qual contm uma conjuno. Adotamos o smbolo para significar para pelo
menos um, ou, abreviadamente, para algum. Reescrevemos a proposio 3 como:

x (AL_COMP(x) INT(x))

Uma maneira equivalente de expressar o significado de existe ... tal que.

Assim, a frmula acima pode, tambm, ser lida como:

Existe um X, tal que X Aluno de Computao e X Inteligente.

Em conseqncia, chama-se quantificador existencial.

A proposio:

4. ALGUM ALUNO DE COMPUTAO NO INTELIGENTE

Nessa notao fica:

x (AL_COMP(x) INT(x))

Que significa:

Para pelo menos um X, X Aluno de Computao e X no Inteligente.

Ou equivalentemente:

Existe um X tal que X Aluno de Computao e X no inteligente.

EXEMPLOS

Traduzir as seguintes sentenas para a forma simblica:

a) Todas as rs so verdes
b) Nenhuma r verde
c) Algumas rs so verdes
d) Algumas coisas so verdes e algumas coisas no so
e) No verdade que algumas rs verdes esto saltitando
f) Maria mecnica e enfermeira
g) Se Maria mecnica, ento no enfermeira
h) Maria ama Joo
i) Joo ama a si prprio
j) Joo ama qualquer pessoa
k) Qualquer pessoa ama Joo
l) Qualquer pessoa ama a si mesma
m) Todas as mulheres advogadas admiram algum juiz
n) Algumas mulheres advogadas admiram todos os juzes