CET636 - Lgica para computao

Captulo I - Lgica Proposicional

Marta M. Dornelles e Martha X. T. Delgado
Departamento de Cincias Exatas e Tecnolgicas - DCET
Universidade Estadual de Santa Cruz - UESC

2013, BA

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

LP Lgica de predicados

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

LP Lgica de predicados

A = {2, 4, 8}. Todo elemento x pertencente a A par.

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

LP Lgica de predicados

A = {2, 4, 8}. Todo elemento x pertencente a A par.

par(x) - propriedade

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

LP Lgica de predicados

A = {2, 4, 8}. Todo elemento x pertencente a A par.

par(x) - propriedade
(x A)(par (x )). - quanticador universal

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

LP Lgica de predicados

A = {2, 4, 8}. Todo elemento x pertencente a A par.

par(x) - propriedade
(x A)(par (x )). - quanticador universal
Como vericar a validade?

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

LP Lgica de predicados

A = {2, 4, 8}. Todo elemento x pertencente a A par.

par(x) - propriedade
(x A)(par (x )). - quanticador universal
Como vericar a validade?
par (2)par (4)par (8).

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

A = {2, 4, 8}. Existe um x pertencente a A que divisvel por
8.

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

A = {2, 4, 8}. Existe um x pertencente a A que divisvel por
8.
divisivelPor 8(x )

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

A = {2, 4, 8}. Existe um x pertencente a A que divisvel por
8.
divisivelPor 8(x )
(x A)(divisivelPor 8(x )). - quanticador existencial

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

A = {2, 4, 8}. Existe um x pertencente a A que divisvel por
8.
divisivelPor 8(x )
(x A)(divisivelPor 8(x )). - quanticador existencial
Como vericar a validade?

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

A = {2, 4, 8}. Existe um x pertencente a A que divisvel por
8.
divisivelPor 8(x )
(x A)(divisivelPor 8(x )). - quanticador existencial
Como vericar a validade?
divisivelPor 8(2)divisivelPor 8(4)divisivelPor 8(8).

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

A = {2, 4, 8}. Existe um x pertencente a A que divisvel por
8.
divisivelPor 8(x )
(x A)(divisivelPor 8(x )). - quanticador existencial
Como vericar a validade?
divisivelPor 8(2)divisivelPor 8(4)divisivelPor 8(8).
x uma varivel.
A banana uma fruta. Banana uma

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

A = {2, 4, 8}. Existe um x pertencente a A que divisvel por
8.
divisivelPor 8(x )
(x A)(divisivelPor 8(x )). - quanticador existencial
Como vericar a validade?
divisivelPor 8(2)divisivelPor 8(4)divisivelPor 8(8).
x uma varivel.
A banana uma fruta. Banana uma constante.

Marta e Martha

Lgica para Computao

Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .

Marta e Martha

Lgica para Computao

Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .
A funo mantm seu resultado no domnio do conjunto dos
nmeros naturais.

Marta e Martha

Lgica para Computao

Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .
A funo mantm seu resultado no domnio do conjunto dos
nmeros naturais.
Considere agora a relao maior ou igual, onde

maiorIgual (x , y ) : x y

Marta e Martha

Lgica para Computao

Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .
A funo mantm seu resultado no domnio do conjunto dos
nmeros naturais.
Considere agora a relao maior ou igual, onde

maiorIgual (x , y ) : x y

O resultado dessa relao um valor verdadeiro ou falso, no

pertencente ao domnio dos naturais.
maiorIgual : N N {true , false } .

Marta e Martha

Lgica para Computao

Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .
A funo mantm seu resultado no domnio do conjunto dos
nmeros naturais.
Considere agora a relao maior ou igual, onde

maiorIgual (x , y ) : x y

O resultado dessa relao um valor verdadeiro ou falso, no

pertencente ao domnio dos naturais.
maiorIgual : N N {true , false } .
Um predicado na lgica de predicados uma propriedade ou
uma relao sobre variveis.

Marta e Martha

Lgica para Computao

Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .
A funo mantm seu resultado no domnio do conjunto dos
nmeros naturais.
Considere agora a relao maior ou igual, onde

maiorIgual (x , y ) : x y

O resultado dessa relao um valor verdadeiro ou falso, no

pertencente ao domnio dos naturais.
maiorIgual : N N {true , false } .
Um predicado na lgica de predicados uma propriedade ou
uma relao sobre variveis.

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

Qual a capital do Brasil?

Marta e Martha

Lgica para Computao

Lgica de predicados

O que j foi visto:

Qual a capital do Brasil?
uma sentana cuja interpretao no um valor verdadeiro
ou falso, mas sim um objeto como resposta.
Essa sentena, na lgica de predicados, chamada de termo.

Marta e Martha

Lgica para Computao

Lgica de predicados

Objetivo
Sintaxe da Lgica de predicados.

Marta e Martha

Lgica para Computao

Lgica de predicados
Introduo
Para todo x natural, se x par ento x+1 mpar.

Marta e Martha

Lgica para Computao

Lgica de predicados
Introduo
Para todo x natural, se x par ento x+1 mpar.
(x )(par(x ) mpar(x + 1).
(x N)(par(x ) mpar(x + 1).
Isso nos leva a considerar teorias de 1 ordem.
Teorias de 1 ordem se distinguem de teorias de ordem mais baixa
(como a LP) no fato de que os argumentos de predicados so os
termos construdos de constantes, variveis e aplicaes de funes.
Somente so permitidos quanticadores sobre variveis.
Em teoria de ordens mais altas, funes e predicados podem tomar
funes e predicados como argumentos.
Marta e Martha

Lgica para Computao

Lgica de predicados
Alfabeto = X

Um conjunto enumervel de smbolos de variveis

X = {x , y , z , }.

Marta e Martha

Lgica para Computao

Lgica de predicados
Alfabeto = X

Um conjunto enumervel de smbolos de variveis

X = {x , y , z , }.
Um conjunto enumervel de smbolos de funes:
f = {f1 , f2 , f3 , }.

Marta e Martha

Lgica para Computao

Lgica de predicados
Alfabeto = X

Um conjunto enumervel de smbolos de variveis

X = {x , y , z , }.
Um conjunto enumervel de smbolos de funes:
f = {f1 , f2 , f3 , }.
Um conjunto enumervel de smbolos de constantes:
c = {c1 , c2 , c3 , }.

Marta e Martha

Lgica para Computao

Lgica de predicados
Alfabeto = X

Um conjunto enumervel
X = {x , y , z , }.
Um conjunto enumervel
f = {f1 , f2 , f3 , }.
Um conjunto enumervel
c = {c1 , c2 , c3 , }.
Um conjunto enumervel
r = {P , Q , R , }.

Marta e Martha

de smbolos de variveis
de smbolos de funes:
de smbolos de constantes:
de smbolos de predicados (relao):

Lgica para Computao

Lgica de predicados
Alfabeto = X

Um conjunto enumervel de smbolos de variveis

X = {x , y , z , }.
Um conjunto enumervel de smbolos de funes:
f = {f1 , f2 , f3 , }.
Um conjunto enumervel de smbolos de constantes:
c = {c1 , c2 , c3 , }.
Um conjunto enumervel de smbolos de predicados (relao):
r = {P , Q , R , }.
Um conjunto de smbolos lgicos: l = {, , , , , , }.

Marta e Martha

Lgica para Computao

Lgica de predicados
Alfabeto = X

Um conjunto enumervel de smbolos de variveis

X = {x , y , z , }.
Um conjunto enumervel de smbolos de funes:
f = {f1 , f2 , f3 , }.
Um conjunto enumervel de smbolos de constantes:
c = {c1 , c2 , c3 , }.
Um conjunto enumervel de smbolos de predicados (relao):
r = {P , Q , R , }.
Um conjunto de smbolos lgicos: l = {, , , , , , }.
Um conjunto de smbolos de pontuao:p = {(, )}.
Smbolos de verdade: v = {true, false}.

Marta e Martha

Lgica para Computao

Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2

Marta e Martha

Lgica para Computao

Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula

Marta e Martha

Lgica para Computao

Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.

Marta e Martha

Lgica para Computao

Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.

Marta e Martha

Lgica para Computao

Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?

Marta e Martha

Lgica para Computao

Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?
funes so termos?

Marta e Martha

Lgica para Computao

Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?
funes so termos?
uma constante um termo?

Marta e Martha

Lgica para Computao

Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?
funes so termos?
uma constante um termo?
predicado um termo?

Marta e Martha

Lgica para Computao

Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?
funes so termos?
uma constante um termo?
predicado um termo?
um tomo.

Marta e Martha

Lgica para Computao

Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?
funes so termos?
uma constante um termo?
predicado um termo?
um tomo.
Os smbolos de verdade so tomos.

Marta e Martha

Lgica para Computao

Lgica de predicados

Frmulas:
Todo tomo uma frmula

Marta e Martha

Lgica para Computao

10

Lgica de predicados

Frmulas:
Todo tomo uma frmula
Se H uma frmula, ento H frmula.

Marta e Martha

Lgica para Computao

10

Lgica de predicados

Frmulas:
Todo tomo uma frmula
Se H uma frmula, ento H frmula.
Se H uma frmula e x uma varivel ento:
(x )H
(x )H

um frmula;
um frmula;

Se H e G so frmulas ento:

Marta e Martha

Lgica para Computao

10

Lgica de predicados

Frmulas:
Todo tomo uma frmula
Se H uma frmula, ento H frmula.
Se H uma frmula e x uma varivel ento:
(x )H
(x )H

um frmula;
um frmula;

Se H e G so frmulas ento:
H G, H G, H G, H G.

Marta e Martha

Lgica para Computao

10

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.

Marta e Martha

Lgica para Computao

11

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.

Marta e Martha

Lgica para Computao

11

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.
(x D )[R (x ) P (x )].

Nenhuma bruxa bela.

Marta e Martha

Lgica para Computao

11

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.
(x D )[R (x ) P (x )].

Nenhuma bruxa bela.

B(x): x bruxa.
L(x): x bela.

Marta e Martha

Lgica para Computao

11

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.
(x D )[R (x ) P (x )].

Nenhuma bruxa bela.

B(x): x bruxa.
L(x): x bela.

(x D )[B (x ) L(x )].

No existe bbado feliz.

Marta e Martha

Lgica para Computao

11

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.
(x D )[R (x ) P (x )].

Nenhuma bruxa bela.

B(x): x bruxa.
L(x): x bela.

(x D )[B (x ) L(x )].

No existe bbado feliz.

B(x): x bbado.
F(x): x feliz.

Marta e Martha

Lgica para Computao

11

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.
(x D )[R (x ) P (x )].

Nenhuma bruxa bela.

B(x): x bruxa.
L(x): x bela.

(x D )[B (x ) L(x )].

No existe bbado feliz.

B(x): x bbado.
F(x): x feliz.

(x D )[B (x ) F (x )].

Marta e Martha

Lgica para Computao

11

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.

Marta e Martha

Lgica para Computao

12

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.

Marta e Martha

Lgica para Computao

12

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.
(x D )[P (x ) C (x )].

Existem plantas que so carnvoras.

Marta e Martha

Lgica para Computao

12

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.
(x D )[P (x ) C (x )].

Existem plantas que so carnvoras.

P(x): x planta.
C(x): x carnvora.

Marta e Martha

Lgica para Computao

12

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.
(x D )[P (x ) C (x )].

Existem plantas que so carnvoras.

P(x): x planta.
C(x): x carnvora.
(x D )[P (x ) C (x )].

Alguns polticos no so honestos.

Marta e Martha

Lgica para Computao

12

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.
(x D )[P (x ) C (x )].

Existem plantas que so carnvoras.

P(x): x planta.
C(x): x carnvora.
(x D )[P (x ) C (x )].

Alguns polticos no so honestos.

P(x): x poltico.
H(x): x honesto.

Marta e Martha

Lgica para Computao

12

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.
(x D )[P (x ) C (x )].

Existem plantas que so carnvoras.

P(x): x planta.
C(x): x carnvora.
(x D )[P (x ) C (x )].

Alguns polticos no so honestos.

P(x): x poltico.
H(x): x honesto.
(x D )[P (x ) H (x )].
Marta e Martha

Lgica para Computao

12

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.

Marta e Martha

Lgica para Computao

13

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.

Marta e Martha

Lgica para Computao

13

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.
(x D )[A(x ) V (x )].

Tudo que sobe, desce.

Marta e Martha

Lgica para Computao

13

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.
(x D )[A(x ) V (x )].

Tudo que sobe, desce.

S(x): x sobe.
D(x): x desce.

Marta e Martha

Lgica para Computao

13

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.
(x D )[A(x ) V (x )].

Tudo que sobe, desce.

S(x): x sobe.
D(x): x desce.

(x D )[S (x ) D (x )].

Nenhum leo manso.

Marta e Martha

Lgica para Computao

13

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.
(x D )[A(x ) V (x )].

Tudo que sobe, desce.

S(x): x sobe.
D(x): x desce.

(x D )[S (x ) D (x )].

Nenhum leo manso.

L(x): x leo.
M(x): x manso.

Marta e Martha

Lgica para Computao

13

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.
(x D )[A(x ) V (x )].

Tudo que sobe, desce.

S(x): x sobe.
D(x): x desce.

(x D )[S (x ) D (x )].

Nenhum leo manso.

L(x): x leo.
M(x): x manso.

(x D )[L(x ) M (x )].

Marta e Martha

Lgica para Computao

13

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.

Marta e Martha

Lgica para Computao

14

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.

Marta e Martha

Lgica para Computao

14

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.
(x D )[C (x ) P (x )].

Ningum gosta de impostos.

Marta e Martha

Lgica para Computao

14

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.
(x D )[C (x ) P (x )].

Ningum gosta de impostos.

P(x): x uma pessoa.
G(x): x gosta de imposto.

Marta e Martha

Lgica para Computao

14

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.
(x D )[C (x ) P (x )].

Ningum gosta de impostos.

P(x): x uma pessoa.
G(x): x gosta de imposto.
(x D )[P (x ) G (x )].

Existem impostos que no so bem empregados.

Marta e Martha

Lgica para Computao

14

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.
(x D )[C (x ) P (x )].

Ningum gosta de impostos.

P(x): x uma pessoa.
G(x): x gosta de imposto.
(x D )[P (x ) G (x )].

Existem impostos que no so bem empregados.

I(x): x imposto.
E(x): x bem empregado.

Marta e Martha

Lgica para Computao

14

Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.
(x D )[C (x ) P (x )].

Ningum gosta de impostos.

P(x): x uma pessoa.
G(x): x gosta de imposto.
(x D )[P (x ) G (x )].

Existem impostos que no so bem empregados.

I(x): x imposto.
E(x): x bem empregado.
(x D )[I (x ) E (x )].
Marta e Martha

Lgica para Computao

14