13/04/2011

1
Clculo dos Predicados
Enunciados Categricos
A base da lgica essencialmente uma funo
que retorna o valor verdadeiro ou falso,
dependendo do argumento.
A Todo S P
E Nenhum S P
I Algum S P
O Algum S no P
13/04/2011
2
Calculo de Predicados
Outro aspecto importante do clculo de
predicados, o uso de quantificadores:
- Para todo, qualquer que seja
- - Existe, existe pelo menos um
As sentenas assim formuladas foram
chamadas de proposies categricas e,
segundo Aristteles, podem ser de 4 tipos:
Afirmao Universal
A
Todos os atletas so saudveis
Negao Universal
E
Nenhum atleta saudvel
Afirmao Particular
I
Alguns atletas so saudveis
ou
Existem atletas saudveis
Negao Particular
O
Alguns atletas no so saudveis
ou
Existem atletas no-saudveis
13/04/2011
3
Afirmao Universal - A
Todo S P.
Qualquer que seja x, se x S, ento x P.
Afirmao Universal A
Exemplo:
Todo homem mortal, ou seja,
qualquer que seja x (do Universo),
se x Homem, ento x Mortal.
x (H(x)M(x)).
13/04/2011
4
Negao Universal - E
Nenhum S P.
Qualquer que seja x, se x S, ento, x no P.
Negao Universal E
Exemplo
Nenhum homem vegetal, ou
sejam qualquer que seja x, se x
Homem, ento x NO Vegetal.
x (H(x)~V(x)).
13/04/2011
5
Afirmao Particular- I
Algum S P.
Para pelo menos um x, x S e x P.
Afirmao Particular- I
Exemplo
Pelo menos um homem
inteligente, ou seja, existe pelo
menos um x em que x seja
Homem e x seja Inteligente.
- x(H(x) ^ I(x))
13/04/2011
6
Negao Particular- O
Algum S no P.
para pelo menos um x, x S e x no P.
Negao Particular- O
Exemplo
Pelo uma loira no burra, ou
seja, existe pelo menos um x
em que x seja loira e x no seja
burra .
- x(L(x) ^ ~B(x))
13/04/2011
7
Clculo de Predicados
Sintaxe do Clculo de Predicados
Frmulas Atmicas:
uma letra predicativa, seguida por zero
ou mais letras nominais ou variveis.
Frmulas Bem Formadas:
Clculo de Predicados
Uma Frmula Atmica uma Frmula
Bem Formada;
Se P uma fbf, ento ~P tambm o ;
Se P e Q so fbfs, ento (P ^ Q), (P v Q),
(PQ), (PQ) tambm o so;
Se P(x) uma fbf, ento -x(P(x)) e
x(P(x)) tambm o so
13/04/2011
8
Clculo de Predicados
Ex.: Seja P = F(a) ^ G(a,b),
ento so fbfs:
x(F(x) ^ G(a,b))
x(F(x) ^ G(x,b))
x(F(a) ^ G(a,x))
-x(F(x) ^ G(a,b))
Clculo de Predicados
Regras de Inferncia para o Clculo
de Predicados
Intercmbio de Quantificadores
1. ~(x ~F(x)) = -xF(x)
2. ~(x F(x)) = -x~F(x)
3. x ~F(x) = ~(-xF(x))
4. x F(x) = ~(-x~F(x))
13/04/2011
9
17
Exerccio:
Para formalizar os argumentos que
seguem, Interprete as letras C, R, V e S
como:
C est chovendo;
R uma r;
V verde;
S saltitante;
Exerccios
a) Todas as rs so
verdes.
b) Nenhuma r verde.
c) Algumas rs so verdes.
d) Algumas rs no so
verdes.
e) Toda coisa uma r.
f) Alguma coisa uma r.
g) Nem toda coisa uma
r.
h) Nada uma r.
i) Existem rs verdes.
13/04/2011
10
Exerccios
i)Existem rs verdes
j) Qualquer coisa ou
verde ou iridescente.
k) Qualquer coisa uma r
verde.
l) Est chovendo e
algumas rs esto
saltitando.
m) Se est chovendo,
ento todas as rs esto
saltitando.
.
Exerccios
n) Algumas coisas so
verdes e algumas no so.
o) Algumas coisas so
verdes e iridescentes
simultaneamente.
p) Ou qualquer coisa
uma r ou nada uma r.
q) Qualquer coisa ou
uma r ou no uma r.
r) Todas as rs so rs.
s) Somente rs so verdes.
13/04/2011
11
21
Para formalizar os argumentos que seguem considere a
interpretao:
Indivduos:
Carlos, Joo e Maria
Predicados:
Mecnico(x) x mecnico
Enfermeiro(x) x enfermeiro
Ama(x, y) x ama y
22
1) Carlos mecnico
Mecnico(Carlos)
2) Carlos e Joo so mecnicos
Mecnico(Carlos) ^ Mecnico(Joo)
3) Carlos mecnico ou enfermeiro
Mecnico(Carlos) v Enfermeiro(Carlos)
13/04/2011
12
23
4) Se Carlos mecnico ento Carlos no
enfermeiro
Mecnico(Carlos) ~Enfermeiro(Carlos)
5) Joo ama Maria
Ama(Joo, Maria)
6) Joo ama a si prprio
Ama(Joo, Joo)
24
7) Todo mundo ama Joo
x(Ama(x, Joo))
8) Existe algum que Maria no ama
-x(~Ama(Maria, x))
9) Todo mundo amado por algum
x-y(Ama(y, x))
13/04/2011
13
25
10) Algum amado por todos
-xy(Ama(y,x))
11) Existe algum que ama todo
mundo
-xy(Ama(x,y))
12) Algum ama algum
-x-y(Ama(x,y))
26
No existem marcianos (M(x) x marciano)
(no existe x tal que x seja um marciano)
-x M(x)
( ou para todo x, x no um marciano)
x ( M(x))
13/04/2011
14
27
Nem todos so sbios (S(x) x sbio)
(para nem todo x, x sbio )
x S(x)
(ou existe um x tal que x no sbio)
-x ( S(x))
28
Os morcegos so mamferos (C(x) x
morcego; M(x) x um mamfero)
(para todo x, se x um morcego, x um
mamfero)
x (C(x) M(x))
13/04/2011
15
29
Os cavalheiros no so sempre ricos
(para nem todo x, se x um cavalheiro ento
x rico)
x (C(x) R(x))
(ou, existe um x tal que x um cavalheiro e x
no rico)
-x (C(x) . R(x))
30
Somente os mdicos podem cobrar por
tratamento clnico
(para todo x, se x pode cobrar por
tratamento clnico, ento x mdico)
x (C(x) M(x))
13/04/2011
16
31
Os carros so seguros somente se
tiverem bons freios
(para todo x, se x um carro, ento x
seguro somente se tiver bons freios)
x [ C(x) (S(x) F(x)) ]
32
Alguns so espertos, outros no
(existe x tal que x esperto, e existe y
tal que y no esperto)
-x E(x) . -y ( E(y))
13/04/2011
17
33
Existem polticos honestos e
desonestos
(existe x tal que x poltico e x
honesto, e existe y tal que y poltico e
y no honesto)
-x (P(x) . H(x)) . -y (P(y) . H(y))
34
Relaes
Todos tm pai (F(x,y) : x pai de y)
(para todo x existe y tal que y pai de x)
x -y F(y,x)
Todas as pessoas tm pai
(para todo x, se x uma pessoa, existe y tal que y
pai de x)
x (P(x) -y F(x,y))
13/04/2011
18
35
Relaes
Existe um ancestral comum a todas as
pessoas
(existe um x tal que para todo y, se y uma
pessoa, x ancestral de y)
-x y (P(y) A(x,y))
(ou, para todo y, se y uma pessoa, existe
um x tal que x ancestral de y)
y (P(y) -x A(x,y))
36
Relaes estabelecendo regras de parentesco
Genro
se x casado com a filha de y, ento x genro
de y;
ou, mais precisamente: se existir z tal que x seja
casado com z, e z seja filha de y, ento x
genro de y
x y [ -z (C(x,z) . F(z,y)) G(x,y) ]
13/04/2011
19
37
Relaes estabelecendo regras de parentesco
Av
se x pai do pai de y, ento x av de y
x y [ -z (P(x,z) . P(z,y)) A(x,y) ]
38
Relaes estabelecendo regras de parentesco
Irmo
se o pai de x for tambm pai de y, x
irmo de y
x y [ -z (P(z,x) . P(z,y)) I(x,y) ]
13/04/2011
20
Lgica de Predicados. Exemplo
Considere o seguinte conjunto de frases:
1. Marcos um homem.
2. Marcos brasileiro.
3. Lula presidente
4. Todos os brasileiros so leais a Lula ou odeiam
Lula.
5. Os brasileiros vaiam presidentes a quem no sejam
leais.
6. Marcos vaiou o Lula.
Lgica de Predicados. Exemplo
Estes fatos podem ser representados como
1. homen(Marcos)
2. brasileiro(Marcos)
3. presidente(Lula)
4. x brasileiro(x) leal(x,Lula) v odeia(x,Lula)
5. x y brasileiro(x) ^presidente(y) ^vaia(x,y)
~leal(x,y)
6. vaia(Marcos, Lula).
13/04/2011
21
41
Cuidados na Formalizao:
1) Variveis diferentes no classificam
necessariamente objetos diferentes.
Ex.: xy ama(x, y)
Afirma no somente que qualquer
pessoa ama uma outra pessoa, como
tambm que qualquer pessoa ama a si
prpria.
42
Cuidados na Formalizao:
2) O nome de variveis no faz diferena
para o significado.
Ex.: x-y ama(y, x) equivale a
y-x ama(x, y) equivale a
z-w ama(w,z)
13/04/2011
22
43
Cuidados na Formalizao:
3) Quando dois ou mais quantificadores
justapem-se numa mesma parte da
frmula, uma varivel diferente deve ser
usada para cada quantificador.
Ex.: x-x ama(x, x) no correto
x-y ama(y, x) correto
44
Cuidados na Formalizao:
4) A mesma varivel usada em vrios
quantificadores, no designa
necessariamente o mesmo objeto em
cada caso.
Ex.: -x ama(jos, x) ^ -x ama(carlos, x)
13/04/2011
23
45
Cuidados na Formalizao:
5) A ordem dos quantificadores consecutivos
afeta o significado somente quando os
quantificadores so diferentes.
Ex.:
-xy ama(x,y) e y-x ama(x,y)
tem significados distintos
-x-y ama(x,y) e -y-x ama(x,y)
significam a mesma coisa
46
Cuidados na Formalizao:
6) Os advrbios s, somente e apenas tem significados diferentes
dependendo do local em que aparecem na sentena. Representam uma
implicao e o conseqente sempre aparece depois do advrbio.
Sentena Significado
J oo ama apenas Maria
Apenas J oo ama Maria
J oo apenas ama Maria
Se Joo ama alguma coisa, essa coisa
Maria
Se Joo tem alguma relao com Maria, essa
relao amor
Se alguma coisa ama Maria, essa coisa
Joo
13/04/2011
24
47
Cuidados na Formalizao:
6.1) Exemplos usando esses adverbios:
Apenas cachorros perseguem gatos
x(G(x) y( P(y,x) C(y)))
ou
xy((G(x) ^ P(y,x)) C(y))
Cachorros perseguem apenas gatos
x y((C(x) ^ P(x,y)) G(y))
S os diamantes brilham
x (B(x) D(x))
Diamantes s brilham
x (D(x) B(x))
Reviso: O Diagrama de Venn e o SC
Para a Proposio Universal Afirmativa (A) Todo S P,
x (Sx Px) temos o 1o diagrama;
Proposio Universal Negativa (E), Nenhum S P, ou,
simbolicamente, x (Sx ~Px), pelo 2o;
A Proposio Particular Afirmativa (I), Algum S P, ou -x (Sx
. Px), representada pelo 3o diagrama abaixo;
Proposio Particular Negativa (O), Algum S no P, cuja
forma simblica -x (Sx . ~Px),
A I E O
13/04/2011
25
Validade e Subargumentos
Se o nmero de premissas e/ou de
predicados em um argumento grande,
a dificuldade em deduzir a concluso ou
de provar a invalidade do argumento
cresce significativamente.
Validade e Subargumentos
Nestes casos, o uso de subargumentos
recomendvel. Ele consiste em:
1. escolher uma ou mais premissas no
argumento dado;
2. obter uma concluso com essas premissas,
construindo um subargumento vlido;
3. incluir a concluso obtida como mais uma
premissa no argumento original.
Repetir o processo at se obter a concluso
do argumento original, ou ficar convencido de
que isso no ser possvel.
13/04/2011
26
Validade: uso de
subargumentos
Exemplo: Alguns fotgrafos so habilidosos.
S artistas so fotgrafos. Os fotgrafos no
so todos habilidosos. Todo biscateiro
habilidoso. Logo, alguns artistas no so
biscateiros.
Sol: a 3a e 4a premissas escritas na forma tpica:
Todo biscateiro habilidoso.Alguns fotgrafos no
so habilidosos. Logo, alguns fotgrafos no so
biscateiros. (silogismo categrico).
Sol: Forma simblica
x (Bx Hx) (A),
-x (Fx . Hx) (O);
, -x (Fx . Bx)
O diagrama de Venn ao lado valida o subargumento:
Validade: uso de
subargumentos
Substituindo as premissas pela concluso, e
escrevendo a outra premissa na forma tpica,
temos o outro argumento como outro
silogismo categrico:
Todos os fotgrafos so artistas.
Alguns fotgrafos no so biscateiros.
Logo, alguns artistas no so biscateiros.
Sol: Forma simblica:
x (Fx Ax) (A),
-x (Fx . Bx) (O);
, -x (Ax . Bx)
O diagrama de Venn ao lado valida o argumento:
(ver outro exemplo na pag 75) .
13/04/2011
27
Conectivos temporais
Igualdade
Comeam juntos:
Acabam juntos:
anterior a
posterior a
seguido por
segue
contm
contido em
contm momento simultneo