LGICA PARA COMPUTAO

UNIDADE 03 LGICA DE PREDICADOS

Profa. Joyce Martins (joyce@furb.br)

3. LGICA DE PREDICADOS: introduo

MOTIVAO: como simbolizar matematicamente o conhecimento abaixo
expresso em linguagem natural:
Para qualquer nmero inteiro x, se x for for par, ento x divisvel por 2.
Algum no aluno de Cincia da Computao.
Todo aluno de Cincia da Computao inteligente.
Jos aluno de Cincia da Computao.
Logo, Jos inteligente.
A dificuldade em representar tais conhecimentos na lgica proposicional
deve-se s quantificaes indicadas pelas palavras para qualquer, algum e
todo.
Assim, necessria a introduo de novos smbolos na linguagem da lgica
proposicional, obtendo-se uma linguagem mais rica, a linguagem da lgica de
predicados.

3. LGICA DE PREDICADOS: introduo

a lgica de predicados uma linguagem mais rica, obtida a partir da
introduo de novos smbolos na linguagem da lgica proposicional;
a especificao da linguagem da lgica de predicados envolve: sintaxe
(regras para escrever frmulas bem formadas a partir de smbolos de
pontuao, de conectivos e outros smbolos da lgica de predicados) e
semntica (regras para determinar o significado das frmulas);
o clculo de predicados engloba os mtodos para determinar a validade
das frmulas.

3. LGICA DE PREDICADOS: sintaxe da linguagem

DEFINIO no1 - alfabeto: o alfabeto da lgica de predicados constitudo
pelos seguintes smbolos:
smbolos de pontuao: ( )
smbolos verdade: true, false;
smbolos para constantes: c, c1, c2... para representar objetos especficos;
smbolos para variveis: x, y, z, x1, y1, z1, x2, y2, z2... para representar objetos
arbitrrios;
...

3. LGICA DE PREDICADOS: sintaxe da linguagem

smbolos para funes: fn, f1n, f2n..., com n > 0 indicando o no de parmetros
da funo. As funes representam propriedades ou relaes entre os
objetos, denotando objetos especficos;
smbolos para predicados: pn, qn, rn, p1n, q1n, r1n, p2n, q2n, r2n..., com n > 0
indicando o no de parmetros do predicado. Os predicados representam
propriedades ou relaes entre os objetos, denotando os valores V ou F;
conectivos: (no), (e), (ou), (se-ento), (se-somente-se),
(quantificador universal), (quantificador existencial).

3. LGICA DE PREDICADOS: sintaxe da linguagem

DEFINIO no2 - termo: um termo na lgica de predicados representa um
objeto especfico e definido por:
toda constante um termo;
toda varivel um termo;
se t1, t2, ... tn so termos e fn uma funo, ento fn(t1, t2, ... tn) um termo.

3. LGICA DE PREDICADOS: sintaxe da linguagem

DEFINIO no3 - tomo: um tomo na lgica de predicados representa um
valor V ou F e definido por:
todo smbolo verdade (true e false) um tomo;
se t1, t2, ... tn so termos e pn um predicado, ento pn(t1, t2, ... tn) um tomo.

3. LGICA DE PREDICADOS: sintaxe da linguagem

DEFINIO n4 - frmula: uma frmula construda a partir dos smbolos do
alfabeto, considerando as seguintes regras:
todo tomo uma frmula;
se e so frmulas, ento tambm so frmulas:
a) ( ) - negao,
b) () - conjuno,
c) () - disjuno,
d) () - implicao ( o antecedente, o consequente),
e) () - bi-implicao ( o lado esquerdo, o lado direito).
se x uma varivel e uma frmula, ento tambm so frmulas:
a) (x)
b) (x)().

3. LGICA DE PREDICADOS: sintaxe da linguagem

DEFINIO no 5 - correspondncia entre quantificadores: sejam uma
frmula e uma varivel x. Os quantificadores se relacionam pelas
correspondncias:
(x)() equivalente a ((x)())
(x)() equivalente a ((x)())

3. LGICA DE PREDICADOS: semntica da linguagem

Para determinar a interpretao de uma frmula da lgica dos predicados
necessrio observar:
a)o universo (domnio) da interpretao;
b)a interpretao dos smbolos livres da frmula.

3. LGICA DE PREDICADOS: semntica da linguagem

DEFINIO no6 - escopo de um quantificador (abrangncia): seja uma
frmula. Ento:
se (x)() uma subfrmula de , ento o escopo de (x) em ;
se (x)() uma subfrmula de , ento o escopo de (x) em .

DEFINIO no7 - varivel livre e ligada: sejam uma frmula e uma varivel
x. Ento:
a varivel x ligada em se est no escopo de um quantificador;
caso contrrio, a varivel x livre.

DEFINIO no8 - smbolos livres: dada uma frmula , seus smbolos livres
so as variveis livres, as funo e os predicados.

3. LGICA DE PREDICADOS: semntica da linguagem

Para determinar a interpretao de uma frmula da lgica dos predicados
necessrio observar:
a)o universo (domnio) da interpretao;
b)a interpretao dos smbolos livres da frmula.

3. LGICA DE PREDICADOS: semntica da linguagem

DEFINIO n9 interpretao de frmulas: seja U um conjunto no vazio,
denominado universo. Uma interpretao I sobre U definida da seguinte
forma:
I[true] = V, a interpretao de true V;
I[false] = F , a interpretao de false F;
para toda constante c, se I[c] = u, ento u U;
para toda varivel x, se I[x] = u, ento u U;

...

3. LGICA DE PREDICADOS: semntica da linguagem

para toda funo fn, se I[fn] = u, ento u U e fn uma funo n-ria em U,
isto , fn: Un U;
para todo predicado pn, I[pn] {V, F} e pn um predicado n-rio em U, isto
, pn: Un {V, F};
se e so frmulas, ento (), (), (), (), ()
so frmulas cuja a interpretao a mesma dada para frmulas
envolvendo esses conectivos na lgica proposicional;
P

PQ

PQ

P Q

PQ

...

3. LGICA DE PREDICADOS: semntica da linguagem

se x uma varivel e uma frmula, ento:
a) I[(x)()] = V, se e somente se u U, I[] = V, isto , I[] = V para
todos os valores de u,
b) I[(x)()] = F, se e somente se u U, I[] = F, isto , existe pelo
menos um valor u tal que I[] = F,
c) I[(x)()] = V, se e somente se u U, I[] = V, isto , existe pelo
menos um valor u tal que I[] = V,
d) I[(x)()] = F, se e somente se u U, I[] = F, isto , I[] = F para
todos os valores de u.

3. LGICA DE PREDICADOS: formalizao de

problemas

O processo de formalizao converte uma sentena (ou argumento) em uma

frmula da lgica de predicados, ou seja, uma estrutura composta por termos
e tomos.

A formalizao de sentenas consiste basicamente em:

1 passo: selecionar um conjunto adequado de smbolos;
2 passo: traduzir as sentenas (trechos do discurso) para uma ou mais
frmulas, respeitando o significado pretendido dos smbolos.

DOCUMENTOS CONSULTADOS / RECOMENDADOS

1.

ABE, J. M.; SCALZITTI, A.; SILVA FILHO, J. I. Introduo lgica para a

cincia da computao. 2.ed. So Paulo: Arte & Cincia, 2002.

2.

BISPO, C. A. F.; CASTANHEIRA, L. B.; SOUZA FILHO, O. M. Introduo

lgica matemtica. So Paulo: Cengage Learning, 2011.

3.

GERSTING, J. L. Fundamentos matemticos para a cincia da

computao. 4. ed. Rio de Janeiro: LTC, 2001.

4.

NOLT, J.; ROHATYN, D. Lgica. So Paulo: Makron Books, 1991.

5.

SOUZA, J. N. Lgica para cincia da computao: fundamentos de

linguagem, semntica e sistemas de deduo. Rio de Janeiro: Campus,
2002.