Você está na página 1de 65

1

Lgica de 1a Ordem
Introduo
Na Lgica Proposicional (LP) um tomo
(P, Q, R,...) representa uma sentena
declarativa que pode ser V ou F, mas no
ambos.
Um tomo tratado como uma entidade
nica. Seus atributos e componentes so
desprezados
Muitas idias no podem ser tratadas de
maneira to simples
2
Lgica de 1a Ordem
Introduo
Exemplo: Representar na Lgica Proposicional
Todo homem mortal
Scrates um homem
Logo, Scrates mortal

Se representarmos por:
P: Todo homem mortal
Q: Scrates um homem
R: Scrates mortal

{P, Q} | R

Isso acontece porque os atributos (predicados ou
caractersticas) de P, Q e R no so considerados
3
Lgica de 1a Ordem
Introduo
Para provar que esse argumento vlido,
necessrio identificar indivduos tais como Scrates, e
seus predicados.

Predicados descrevem caractersticas ou
relacionamentos entre indivduos (objetos)

A Lgica dos Predicados apresenta mais trs
conceitos lgicos:
termos,
predicados e
quantificadores.
4
Enunciados Categricos
Todo S P
Qualquer que seja x, se x S, ento x P.
x (S(x) P(x))
Nenhum S P
Qualquer que seja x, se x S, ento x no P.
x (S(x) ~P(x))
5
Enunciados Categricos
Algum S P
Para pelo menos um x, x S e x P.
-x (S(x) ^ P(x))
Algum S no P
Para pelo menos um x, x S e x no P.
-x (S(x) ^ ~P(x))
6
Enunciados Categricos
Considererando
Predicados
M(x): x mortal
H(x): x um homem
Um individuo: Scrates
Exemplo Formalizar:

Todo homem mortal
Scrates um homem
Logo, Scrates mortal
x (H(x) M(x))
H(scrates)
M(scrates)
7
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;
a Todas as rs so verdes.
x (R(x) V(x))
8
Exerccio:
b Nenhuma r verde.
x (R(x) ~V(x))
c Algumas rs so verdes.
-x (R(x) ^ V(x))
d Toda coisa uma r.
x (R(x))
e Nada uma r.
x (~R(x)) ou ~-x (R(x))
9
Exerccio 1:
f Qualquer coisa uma r verde.
x (R(x) ^ V(x))
g Est chovendo e algumas rs esto
saltitando.
C ^ -x (R(x) ^ S(x))
h Somente rs so verdes.
x (V(x) R (x))
10
Exerccio 1:
i Algumas rs verdes no esto
saltitando.
-x ((R(x) ^ V(x)) ^ ~S(x))
j Rs verdes saltitam se, e somente
se , est chovendo.
x ((R(x) ^ V(x)) (S(x) C))
11
Exerccio 2:
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
12
Exerccio 2:
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
Exerccio 2:
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)

14
Exerccio 2:
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))
15
Exerccio 2:
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))
16
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
um quantificador e predicados mondicos
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))

17
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
um quantificador e predicados mondicos
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))

18
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
um quantificador e predicados mondicos
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))
19
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
um quantificador e predicados mondicos
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))
20
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
um quantificador e predicados mondicos
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))
21
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
um quantificador e predicados mondicos
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)) ]
22
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
mais de um quantificador e predicados
mondicos
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))
23
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
mais de um quantificador e predicados
mondicos
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))
24
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
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))
25
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
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))
26
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
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) ]
27
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
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) ]
28
Exerccio 3: EXPRESSES TEXTUAIS
MOSTRANDO FORMAS LGICA E SIMBLICA:
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) ]
29
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.
30
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)

31
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
32
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)
33
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
34
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
Joo ama apenas Maria

Apenas Joo ama Maria
Joo 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
35
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))
36
Regras de Inferncia para a
Lgica de 1 Ordem
As regras do Sistema Formal, S1, para a
lgica proposicional tambm so usadas
para a lgica de 1 ordem:

Exemplo: Provar o argumento:

{~F(a) v -x F(x), -x F(x) P} F(a) P
37
Prova:
{~F(a) v -x F(x), -x F(x) P} F(a) P
1. ~F(a) v -x F(x) P
2. -x F(x) P P
3. | F(a) H p/ PC
4. |-x F(x) 1 e 3 SD
5. |P 2 e 4 MP
6. F(a) P 3 - 5 PC
38
Regras de Inferncia para a
Lgica de 1 Ordem
A Lgica de 1a Ordem herda todas as
regras da Lgica Proposicional e
adicionalmente tem regras especficas
para a Introduo e a Eliminao dos
quantificadores Universal e Existencial.
39
Eliminao Universal (EU)
De uma frmula quantificada
universalmente x o, podemos inferir
uma frmula o da forma o[x/a] , que
resulta da substituio de todas as
ocorrncias de x em o pela constante a
40
Eliminao Universal (EU)
Exemplo Provar que:
{x (H(x) M(x)), H(s)} |- M(s)

1.x (H(x) M(x)) P
2. H(s) P
3. H(s) M(s) 1 EU
4. M(s) 2, 3 MP
41
Eliminao Universal (EU)
Esta regra estabelece que o que
verdade para qualquer indivduo deve
ser verdade para um indivduo
particular
42
Eliminao Universal (EU)
Ex: {~F(a)} |- ~x F(x)

1. ~F(a) P
2. |x F(x) H p/RAA
3. | F(a) 2 EU
4. | F(a) ^ ~F(a) 1, 2 ^I
5. ~x F(a) 2 4 RAA
43
Eliminao Universal (EU)
Ex: {xyF(x,y)} |- F(a,a)

1. xyF(x,y) P
3. yF(a,y) 1 EU
4. F(a,a) 2 EU
44
Introduo Universal (IU)
Para uma frmula o contendo uma
constante a , podemos inferir uma
frmula da forma x o`, onde o` o
com a varivel x substituindo todas as
ocorrncias da constante a , o[a/x]
Restries:
a no ocorre nas premissas
a no ocorre em qualquer hiptese
vigente na linha em que o ocorre
x no ocorre em o.
45
Introduo Universal (IU)
Exemplo: {x (F(x) ^ G(x))} x F(x) ^ x G(x)

1. x (F(x) ^ G(x)) P
2. F(a) ^ G(a) 1 p/ EU
3. F(a) 2 p/ ^E
4. G(a) 2 p/ ^E
5. x F(x) 3 p/ IU
6. x G(x) 4 p/ IU
7. x F(x) ^ x G(x) 5 e 6 ^I
46
Introduo Universal (IU)
Esta regra estabelece que se pudermos
provar algo a respeito de uma indivduo
b sem fazer suposio que distinga b de
um outro indivduo, ento o que
tivermos provado para b estar provado
para todos.
47
Introduo Universal (IU)
Restries:
1) A constante a no deve ocorrer em
qualquer premissa.
1. P(a) P
2. x P(x) 1 p/ IU

derivao incorreta !

Da premissa que a primo, no implica
que todos os nmeros so primos
48
Introduo Universal (IU)
Restries:
2) A constante a no deve ocorrer em
qualquer hiptese vigente numa linha em
que o ocorre:
1. x (P(x) C(x)) P
2. P(a) C(a) 1 EU
3. | P(a) H p/PC
4. | C(a) 2, 3 MP
5. | x C(x) 4 IU
6. P(a) x C(x) 3, 5 PC

Derivao incorreta !
(Suponha P: Polto; C corrupto)
49
Introduo Universal (IU)
Restries:
Derivao incorreta!
Da premissa de que todos os polticos
so corruptos, no se segue que, se
Joo poltico todos so corruptos.
50
Introduo Existencial
(IE):
Dada uma frmula o contendo uma
constante a, podemos inferir uma
frmula da forma -xo`, onde o`
obtida de o pela substituio de uma ou
mais ocorrncias de a em o pela
varivel x, o[a/x].

Restrio:
x no ocorre em o.
51
Introduo Existencial
(IE):
Ex.: {x (F(x) v G(x))} -x (F(x) v G(x))

1. x (F(x) v G(x)) P
2. F(a) v G(a) 1 p/ EU
3. -x (F(x) v G(x)) 2 p/ IE
52
Introduo Existencial
(IE):
A regra IE estabelece duas pressuposies:
1) Todas as constantes referem-se a
indivduos existentes
Exemplo:
M (a) Apolo mitolgico
-x M(x)

2) Existe pelo menos um indivduo
53
Eliminao Existencial
(EE):
Dada uma frmula quantificada
existencialmente -xo e uma derivao de
alguma concluso u a partir de uma hiptese
da forma o[x/a], podemos descartar a
hiptese e reafirmar u.

Restries:
a no ocorre em o,
a no ocorre em u
a no ocorre em qualquer premissa
a no ocorre em qualquer hiptese vigente na
linha em que EE aplicada.
54
Eliminao Existencial
(EE):
Exemplo: { -x (F(x) ^ G(x)) } -x F(x)

1. -x (F(x) ^ G(x)) P
2. | F(a) ^ G(a) H
3. | F(a) 2 ^E
4. | -x F(x) 3 IE
5. -x F(x) 1 e 2-4 EE
55
Essa regra requer cuidados:
1) A constante a no deve ocorrer em u:
1. -x A(x, x) P
2. | A(a, a) H P/EU
3. | -xA(a, x) 2 IE
4. -xA(a, x) 1e 2-3 EE

Derivao incorreta!
Da premissa que algum ama a si prprio no se
segue que Ana ama algum (-x A(a, x)).
56
Essa regra requer cuidados:
2) A constante a no pode ocorrer em o:
1. x-y F(y, x) P
2. -y F(y, a) 1 EU
3. | F(a, a) H p/ EU
4. | -x F(x, x) 3 IE
5. -x F(x, x) 2e 3e 4 EE

Derivao incorreta!

Da premissa que todos tem um pai (x-y F(y, x))
no se segue que algum pai de si mesmo.
57
Essa regra requer cuidados:
Exerccio: Considere os predicados:
Q(x,y): x quebra y;
P(x,y): x paga y;
V(x): x varre o cho;
e as seguintes premissas:
x y (Q(x, y)) P(x,y))
x y (Q(x, y)) V(jos))
-x (Q(x, lmpada))
Partindo da hiptese que quem quebrou a lmpada
foi joo, correto deduzir que:
a) joo pagar a lmpada?
b) jos varrer o cho?
58
Exemplo de prova da validade
de um argumento.
1. x (H(x) M(x)) P
2. H(scrates) P
3. H(socrates) M(scrates) 1, EU
4. M(scrates) 2,3 MP
Todo homem mortal
Scrates um homem
Logo, Scrates Mortal
59
Exemplo de uma prova de
teorema.
~(x F(x) ^ -x ~F(x))

1. |x F(x) ^ -x ~F(x) H p/ RAA
2. |x F(x) 1 ^E
3. |-x ~F(x) 1 ^E
4. ||~F(a) H p/EE
5. ||F(a) 2 EU
6. ||P ^ ~P 4,5 CONTRAD
7. |P ^ ~P 3 E 4-6 EE
8. ~(x F(x) ^ -x ~F(x)) 1-7 RAA
60
Exerccios: Prove
{x(F(x) G(x)), -xF(x)} -xG(x)
1. x(F(x) G(x)) P
2. -xF(x) P
3. |F(a) H p/EE
4. |F(a) G(a) 1 EU
5. |G(a) 3,4 MP
6. |-xG(x) 5 IE
7. -xG(x) 2,3-6 EE

61
Exerccios: Prove
{-x(F(x) v G(x))} -xF(x) v -xG(x)
1. -x(F(x) v G(x)) P
2. |F(a) v G(a) H p/EE
3. ||F(a) H p/PC
4. ||-xF(x) 3 IE
5. ||-xF(x) v -xG(x) 4 vI
6. |F(a) -xF(x) v -xG(x) 3-5 PC
7. ||G(a) H p/PC
8. ||-xG(x) 7 IE
9. ||-xF(x) v -xG(x) 8 vI
10.| G(a) (-xF(x) v -xG(x)) 7-9 PC
11.| -xF(x) v -xG(x) 2,6,10 vE
12. -xF(x) v -xG(x) 1,2-11 EE

62
Exerccios: Prove
{x(F(x) (G(x) v H(x)), x~G(x)} x(F(x) H(x))

1. x(F(x) (G(x) v H(x)) P
2. x~G(x) P
3. F(a) (G(a) v H(a)) 1 EU
4. ~G(a) 2 EU
5. |F(a) H p/PC
6. |G(a) v H(a) 3,5 MP
7. |H(a) 4,6 SD
8. F(a) H(a) 5-7 PC
9. x(F(x) H(x)) 8 IU
63
Exerccios: Prove
{xF(a,x), xy(F(x,y) G(y,x))} xG(x,a)

1. xF(a,x) P
2. xy(F(x,y) G(y,x)) P
3. F(a,b) 1 EU
4. y(F(a,y) G(y,a)) 2 EU
5. F(a,b) G(b,a) 4 EU
6. G(b,a) 3,5 MP
7. xG(x,a) 6 IU
64
Exerccios: Prove
-xy L(x,y) x -y L(y,x)

1. -xy L(x,y) P
2. |y L(a,y) H p/EE
3. |L(a,b) 2 EU
4. |-y L(y,b) 3 IU
5. |x -y L(y,x) 4 IU
6. x -y L(y,x) 1,2-5 EE
65
Exerccios: Prove
x(F(x) ~G(x)) ~-x (F(x) ^ G(x))

1. x(F(x) ~G(x)) P
2. |-x (F(x) ^ G(x)) H p/RAA
3. ||F(a) ^ G(a) H p/EE
4. ||F(a) ~G(a) 1 EU
5. ||F(a) 3 ^E
6. ||~G(a) 4,5 MP
7. ||G(a) 3 ^E
8. ||P ^ ~P 6,7 CONTRAD
9. |P ^ ~P 2,3-8 EE
10. ~-x (F(x) ^ G(x)) 2-9 RAA