Lgica de Predicados:

Consequncia Lgica

Edimilson B. dos Santos

Consequncia Lgica
Definio: Uma frmula consequncia lgica de um
conjunto de frmulas H, H , se e somente se, para
toda interpretao i, vi() = V sempre que vi() = V, para
toda H.
Ento, H se, e somente se, todo modelo para H um
modelo para .
Diferena em relao lgica proposicional: a
interpretao aqui uma estrutura, como definida
anteriormente.

2
Consequncia Lgica

Exemplos:
{x(homem(x)mortal(x)), homem(Socrates)}mortal(Socrates)
{mortal(Socrates)} xmortal(x)
{xp(x)xq(x), p(a)} xq(x)

3
Consequncia Lgica
Exemplos interessantes de algumas consequncias
lgicas envolvendo quantificadores:
{ x((x)) } (a)
{ (a) } x(x)
{ x(x) v x(x) } x ((x) v (x))
{ x((x) ^ (x)) } x(x) ^ x(x)
{ xy(x, y) } yx(x, y)

4
Consequncia Lgica

O inverso do ltimo exemplo no vlido, pois existe

uma interpretao i que satisfaz yxp(x, y) e no
satisfaz xyp(x, y); por exemplo:
Universo: {a, b};
pi = { (a,a), (b,b) }.

5
Consequncia Lgica
Relao entre equivalncia lgica e consequncia lgica:
, se e somente se, {} e {} .

As propriedades da consequncia lgica vistas em lgica

proposicional valem tambm para a lgica de predicados:
Teorema de Deduo:
H {} , se e somente se, H .

Verificar se uma frmula consequncia lgica de um

conjunto de frmulas indecidvel em lgica de predicados.

6
Exerccios
1. Determine frmulas que expressem as proposies a
seguir utilizando as seguintes propriedades:
arara(x): x uma arara;
cv(x): x tem cores vivas;
pequeno(x): x pequeno;
grande(x): x grande;
nalto(x): x faz ninho em rvores altas.

7
Exerccios
a) Toda arara tem cores vivas.
b) Nenhum pssaro pequeno faz ninho em rvores altas.
c) Pssaros que no fazem ninho em rvores altas no
tm cores vivas.
d) Araras so grandes.

2. Mostre que a ltima frmula consequncia lgica das

outras. Note que para isto, preciso explicitar a
relao que existe entre pequeno e grande.
8
Deduo

Existem sistemas dedutivos corretos e completos para a

lgica de predicados.
Tais sistemas acrescentam axiomas e/ou regras de
inferncia para lidar com os quantificadores universal e
existencial.

9
Deduo na Lgica de Predicados

As regras de inferncia apresentadas em lgica

proposicional (modus ponens, modus tollens, etc)
continuam valendo para a lgica de predicados.

Regras de inferncia que envolvem os quantificadores:

Instanciao universal (IU);
Generalizao existencial (GE).

10
Deduo na Lgica de Predicados

Instanciao Universal (IU):

v
vt

em que t um termo sem variveis.

11
Deduo na Lgica de Predicados

Exemplo:
{x(homem(x) mortal(x)), homem(Socrates)} mortal(Socrates):

1. x(homem(x) mortal(x)) (Hip.)

2. homem(Socrates) (Hip.)
3. homem(Socrates)mortal(Socrates) (IU: 1)
4. mortal(Socrates) (Modus Ponens: 3,2)

12
Deduo na Lgica de Predicados

Generalizao Existencial (GE):

vt
v

Para provar que v, basta provar vt para algum termo t.

13
Deduo na Lgica de Predicados

Exemplo:
{ x(homem(x) mortal(x)), homem(Socrates) } xmortal(x):

1. x(homem(x) mortal(x)) (Hip.)

2. homem(Socrates) (Hip.)
3. homem(Socrates)mortal(Socrates) (IU: 1)
4. mortal(Socrates) (Modus Ponens: 3,2)
5. xmortal(x) (GE: 4)

14
Exerccios

Determine dedues que mostrem:

a) { x(p(x)q(x)), q(A) } xp(x)

b) { x(p(x)q(x)), p(A)^r(A) } x(r(x)^q(x))
c) { xp(x)x(q(x)r(x)), p(A)^q(A) } r(A)

15