Escolar Documentos
Profissional Documentos
Cultura Documentos
Ordem (LPPO)
1. A sintaxe da LPPO
O leitor mais crítico poderia ficar com a impressão de que
na passagem do silogismo aristotélico para a lógica
proposicional nós demos um passo para trás e, num certo
sentido, ele teria razão. Uma lógica é tanto mais expressiva
quanto mais relações de inferência ela consegue formalizar.
Enquanto a lógica silogística penetra a estrutura interna das
proposições elementares, podendo com isso formalizar as
inferências que se radicam nas relações existentes entre estas
estruturas, a lógica proposicional permanece, por assim
dizer, na superfície, sem analisar a estrutura interna das
proposições elementares. Por outro lado, a crítica do leitor
perde bastante de sua força se observarmos que as relações
proposicionais que a LP formaliza não são nem mesmo
tocadas pelo silogismo. Assim, colocados frente a frente, não
se pode dizer nem que o silogismo é mais expressivo do que
a LP nem o contrário, cada um dá conta de tipos de
inferência diferentes. A lógica formal contemporânea, tal
como primeiramente foi concebida por Frege, se destinava a
formalizar tanto o tipo de inferência próprio do silogismo
como aquele que é característico da LP. Essa lógica foi
chamada de lógica de predicados, ou lógica elementar, ou ainda
lógica de primeira ordem. Essas denominações dão uma idéia das
principais característcas dessa lógica. Ela é lógica de predicados
porque é provida de símbolos específicos para representar
predicados, é lógica elementar ou de primeira ordem porque os
predicados são aplicados unicamente a elementos primitivos.
Tais predicados são chamados de predicados de primeira ordem.
Predicados de segunda ordem seriam aqueles que predicam
sobre predicados de primeira ordem, predicados de terceira
ordem os que predicam sobre predicados de segunda ordem
e assim por diante. Outrossim, uma lógica onde é possível
182
LPPO=〈, RI〉
Sócrates é mortal.
C i nc o é ímpar.
A maçã é vermelha.
Nós somos filósofos.
a é o resultado de (bc/d-e.f)+1/(g3-h+ij).
1. t é um símbolo individual, ou
2. Assumindo que t1, t2, t3, ..., tn são termos e φn é uma
função n-ária, t=φnt1t2t3 ...tn.
(∀y(((¬∃xPx)∧Qb)→Qy)↔∀z((¬Qz)∨(∃xPx∨(¬Qb))))
A fórmula ficará:
∀y(((¬∃xPx)∧Qb)→Qy)↔∀z((¬Qz)∨(∃xPx∨(¬Qb)))
Ficamos com:
∀y((¬∃xPx∧Qb)→Qy)↔∀z(¬Qz∨(∃xPx∨¬Qb))
A fórmula fica:
∀y(¬∃xPx∧Qb→Qy)↔∀z(¬Qz∨(∃xPx∨¬Qb))
A fórmula continua:
∀y(¬∃xPx∧Qb→Qy)↔∀z(¬Qz∨(∃xPx∨¬Qb))
Teremos a fórmula:
∀y(¬∃xPx∧Qb→Qy)↔∀z(¬Qz∨∃xPx∨¬Qb)
1.1.1. Termos
constantes objetos
a •
A metade de 2 mais 2
F = a metade de x
g2 = x mais y
a =2
fg2aa = 2
g2faa = 3
192
O rato que roeu a roupa que o rei que a rainha que Ricardo roubou
rejeitou rasgou
x1 ∈ Ratos
x2 ∈ Roupas
x 3 ∈ R e is
x4 ∈ Rainhas
a = Ricardo
f 1 = o x que roeu y
2
f 2 = o x que o y rasgou
2
f 3 = o x que o y rejeitou
2
f 4 = o x que o y roubou
2
f 1 x1 f 2 x2 f 3 x3 f 4 x4a
2 2 2 2
Qf3xg2cyb
1. ∀µα ⇔ ¬∃µ¬α
2. ∃µα ⇔ ¬∀µ¬α
A - ∀x(Px→Qx)
E - ∀x(Px→¬Qx)
I - ∃x(Px∧Qx)
O - ∃x(Px∧¬Qx)
A - ∀x(Px→Qx)
E - ∀x(Px→¬Qx)
I - ¬∀x¬(Px∧Qx) ∴ ¬∀x(Px→¬Qx)
O - ¬∀x¬(Px∧¬Qx) ∴ ¬∀x(Px→Qx)
I) Generalizações universais
Ma∧Mb∧Mc∧Md∧Me∧...∧Men
∀x(Nx→(Ix∨Px))
onde :
N = x é número natural
I = x é ímpar
P = x é par
200
∀x(Ix∨Px)
Alguém é filósofo
Fa∨Fb∨Fc∨Fd∨Fe∨...∨Fen
1. ∀xPx→∃x(Qy→Px) e
2. ∀xPx→∀y∃x(Qy→Px)
Ex.: ∀x∃xPx
7. ∀x∀yAxy ↔ ∀y∀xAxy
⇓
Todos amam a todos = todos são amados por todos
203
8. ∃x∃yAxy ↔ ∃y∃xAxy
⇓
Existe alguém que ama alguém =
existe alguém que é amado por alguém
9. ∃x((Fx∧∀y(Fy→y≈x))∧Cx), onde:
Dom = homens
F = “x é atual rei da França” e
C = “x é careca”
∃x1(Px1∧∀y(Py→y≈x1))
∃x1∃x2((Px1∧Px2)∧(x1x2)∧∀y(Py→y≈x1∨y≈x2))
∃x1∃x2∃x3((Px1∧Px2∧Px3)∧(x1x2∧x1x3∧x2x3)∧
(∀y(Py→y≈x1∨y≈x2∨y≈x3))
Exercícios (Ex6):
1. Elabore um procedimento efetivo que liste todas as
fórmulas de .
a) (Pa→∀y(¬(¬Px)))
b) ∃x((Pb∧Qx)→Px)
c) ∀x(Fa∨∀x(Fx→∀xFx))
d) (∀x(Fa↔Fx)→∀y(y≈a))
e) ∃x(∀yFy↔∃z(Fy∨(¬Fz)))
f) ∀x∀y(a≈b→(∃x(y≈a)∧∃y(x≈b)))
g) (∀y∃x(Fx∧Gy)∨((∃yFy∨Gy)∧∃xGx))
h) (((¬∃xPx)∧∀yGy)→∀z(¬(Ga→Pb)))
205
i) ∃y(((¬Fa)∨(∀x((¬Gx)→Hy)∧Px))→Gy)
j) ∃x((Pa∧(¬Px))→∀y∀z((y≈a)∧(z≈x)→(¬(y≈z))))
Solução:
L0 = a b c d e a1 b1 ...
L1 = f g h f1 g1 h1 f2 ...
L2 = f2 g2 h2 f 12 g 1 h 12 f 22 ...
2
Ln = fn gn hn f 1n g 1 h 1n f n2 ...
n
Um procedimento que enumera todos esses símbolos é dado
pela tabela a seguir:
...
206
t1 t2 t3 t4 ...
...
(qed)
∃x1∃x2∃x3∃x4∃x5(Px1∧Px2∧Px3∧Px4∧Px5)
m = Maria
j = João
f = o pai de x
g = o patrão de x
D = x é despedido por y
N = x namora y
O = x odeia y
∀µα
α[µ/t]
é incorreto é correto
∀xFx→Ga ∀x(Fx→Gx)
Fa→Ga Fa→Ga
α___
∀µα[t/µ]*
Exemplo 1:
1. Fa premissa
2. ∀xFx (errado, pois a ocorre na premissa)
Exemplo 2:
1. ∃x(Fx→Ga)
2. ∀x∃x(Fx→Gx) (errado, pois a estava no escopo de
uma quantificação sobre x)
Exemplo 3:
1. Fa premissa
2. ¬Fa premissa
3. Ga→Fa C
4. Ga→¬Fa C
5. ¬Ga RA
6. ∀x(¬Gx) (errado, pois a ocorre nas premissas.
Todavia se o antecedente introduzido
por C fosse Gb, a prova estaria correta)
α
∃µα[t/µ]
∃µα
α[µ/t]
β___
β
214
∅
t≈t
t1≈t2
α[t1]
α[t1/t2]
Exercícios (Ex7):
Nestes exercícios também se fará necessário o uso do
teorema da dedução (TD) e de outros metateoremas, alguns
provados neste capítulo, outros no capítulo anterior.
a. (α#β)[µ/t] = α[µ/t]#β[µ/t]
b. (α#β)[t/µ]* = α[t/µ]*#β[t/µ]*
Exemplo: Barbara
218
∀x(Mx→Px)
∀x(Sx→Mx)
∀x(Sx→Px)
1. ∀x(Mx→Px) P
2. ∀x(Sx→Mx) P
3. Ma→Pa E-∀
4. Sa→Ma E-∀
5. Sa→Pa TI (Teo14)
6. ∀x(Sx→Px) I-∀
¬Fa
¬∀xFx
Fa→Pb
∀xFx→Pb
Pb→Fa
Pb→∃xFx
∀x(Fx→Gx)
∀xFx→∀xGx
∀x((Fx∨Gx)→Hx)
∃y¬(Py∨¬Gy)
∃x Hx
219
∀x¬Fx
∃yGy→∃x Fx
∀y¬Gy
∃y∀x(Px→x≈y)
Pa∧Pb
a≈b
(56) ∀µα→∃µα
(57) ∀µα[µ/t]↔α[µ/t]
(58) ∃µα[µ/t]↔α[µ/t]
(59) ∃µ∀να→∀ν∃µα
(60) ∀µ∀να↔∀ν∀µα
(61) ∃µ∃να↔∃ν∃µα
(62) (∃µα→β)→(∀µα→β)
(63) ∀µ(α→β)→(∀µα→∀µβ)
(64) ∀µ(α→β)→(∃µα→∃µβ)
(65) ∃µ(α∧β)→(∃µα∧∃µβ)
220
(66) ¬∀µα↔∃µ¬α
(⇒):
1. ¬∃µ¬α P
2. ¬α[µ/t]→∃µ¬α I-∃
3. α[µ/t] MT
4. ∀µα I-∀
5. ¬∀µα→∃µ¬α TD e CP
(⇐):
6. ∀µα P
7. ∃µ¬α P
8. ¬α[µ/t] P
9. α[µ/t] E-∀
10. ¬∃µ¬α Teo7
11. ¬∃µ¬α E-∃
12. ∀µα ∃µ¬α→¬∃µ¬α TD
13. ∀µα ¬∃µ¬α Teo28
14. ∃µ¬α→¬∀µα TD e CP
15. ∀µα↔¬∃µ¬α DD
(67) ¬∃µα↔∀µ¬α
(68) (∀µα∧β)↔∀µ(α∧β)
(69) (∃µα∧β)↔∃µ(α∧β)
(70) (∀µα∨β)↔∀µ(α∨β)
(71) (∃µα∨β)↔∃µ(α∨β)
(72) (∀µα→β)↔∃µ(α→β)
(⇒):
1. ¬∃µ(α→β) P
2. ∀µ¬(α→β) Teo67
3. ¬(α[µ/t]→β) E-∀ (tal que t não ocorre em β)
4. α[µ/t]∧¬β Teo16
221
5. α[µ/t] e ¬β EC
6. ∀µα I-∀
7. ∀µα∧¬β IC
8. ¬(∀µα→β) Teo16
9. (∀µα→β)∃µ(α→β) CP
10. (∀µα→β)→∃µ(α→β) TD
11. ∃µ(α→β)↔(∀µα→β) DD
(⇐):
12. ∃µ(α→β) P
13. ∀µα P
14. α[µ/t]→β P (tal que t não ocorre em β)
15. α[µ/t] E-∀
16. β MP
17. β E-∃
18. ∃µ(α→β), ∀µα β
19. ∃µ(α→β)→(∀µα→β) TD
(73) (α→∀µβ)↔∀µ(α→β)
(74) (∃µα→β)↔∀µ(α→β)
(75) (α→∃µβ)↔∃µ(α→β)
(76) (∀µα↔β)↔∀µ∃ν((β→α)∧(α’→β)) (tal que α’
é igual a α, a não ser por apresentar ν onde α
apresenta µ)
(77) (∃µα↔β)↔∀µ∃ν((α→β)∧(β→α’)) (tal que α’
é igual a α, a não ser por apresentar ν onde α
apresenta µ)
(78) (∃µPkµ∧∃µ¬Pkµ)↔∃µ∃ν(Pkµ∨¬Pkν)
(79) ¬∀µ∃ν(¬Pkµ∧Pkν)
(80) ∃µ∀ν(¬Pkµ∨Pkν)
(81) ∀µ∃ν(Pjµ∨Pkν)↔∃ν∀µ(Pjµ∨Pkν)
(82) ∀µ∃ν(Pjµ∧Pkν)↔∃ν∀µ(Pjµ∧Pkν)
222
(83) ∀µ∃ν(Pjµ→Pkν)↔∃ν∀µ(Pjµ→Pkν)
(84) ∀µ∃ν(Pjµ↔Pkν)↔∃ν∀µ(Pjµ↔Pkν)
(85) α[t1]→(t1≈t2→α[t1/t2])
(86) ∀µ∀ν(µ≈ν→ν≈µ)
(87) ∀µ∀ν∀ω(µ≈ν→(ν≈ω→µ≈ω))
(88) ∀µ∀ν(µ≈ν→(Pkµ↔Pkν))
(89) ∀µ(µ≈t→α)↔α[µ/t]
(⇒):
1. ∀µ(µ≈t→α) P
2. t≈t→α[µ/t] E-∀
3. t≈t II
4. α[µ/t] MP
5. ∀µ(µ≈t→α)→α[µ/t] TD
(⇐):
6. α[µ/t] P
7. ¬∀µ(µ≈t→α) P
8. ∃µ¬(µ≈t→α) Teo66
9. ∃µ(µ≈t∧¬α) def. da conj. e TS
10. t1≈t∧¬α[µ/t1] P
11. t1≈t EC
12. ¬α[µ/t1] EC
13. ¬α[µ/t] EI
14. ∀µ(µ≈t→α) Teo7
15. ∀µ(µ≈t→α) E-∃
16. α[µ/t] ¬∀µ(µ≈t→α)→∀µ(µ≈t→α) TD
17. α[µ/t] ∀µ(µ≈t→α) Teo27
18. α[µ/t]→∀µ(µ≈t→α) TD
19. ∀µ(µ≈t→α)↔α[µ/t] DD
(90) ∃µ(µ≈t→α)↔α[µ/t]
(91) ∃ν∀µ(µ≈ν)→∀µ∀ν(µ≈ν)
223
(92) ∃ν∀µ(µ≈ν)→(∀µPkµ∨∀µ¬Pkµ)
(93) ∃ν∀µ(µ≈ν)→∀µ∀ν(Pkµ→Pkν)
(94) ∀µ∃ν(µν∧Pkν)↔∃µ∃ν(µν∧Pkµ∧Pkν)
(95) ∀µ(Pkµ→µ≈t)↔∀ν(∃µ(Pkµ∧µ=ν)→ν≈t)
(96) ∃µ∀ν(Pkν↔ν≈µ)→∃µPkµ
(97) ∃µ∀ν(Pkν↔ν≈µ)→∀µ∀ν(Pkµ∧Pkν→µ≈ν)
(98) ∃µ∀ν(µν→Pkν)→∀µ∀ν(µν→Pkµ∨Pkν)
(99) ∀µ∀ν(µ≈ν→Pkµ∧Pkν)→∀µ∀ν(Pkµ↔Pkν)
(100) ∃µ∀ν(Pkν↔µ≈ν)↔∃µ(Pkµ∧∀ν(Pkν→ν≈µ))
(⇒):
1. ∃µ∀ν(Pkν↔µ≈ν) P
2..∀ν(Pkν↔t≈ν) P
3. Pkt↔t≈t E-∀
4. t≈t→Pkt DD
5. Pkt II e MP
6. ∃µPkµ I-∃
7. Pkt1↔t≈t1 E-∀
8. Pkt1→t≈t1 DD
9. t≈t1→t1≈t Teo86 e E-∀
10. Pkt1→t1≈t TI
11. ∀ν(Pkν→ν≈t) I-∀
12. ∃µ∀ν(Pkν→ν≈µ) I-∃
13. ∃µPkµ∧∃µ∀ν(Pkν→ν≈µ) IC
14. ∃µPkµ∧∃µ∀ν(Pkν→ν≈µ) E-∃
15. ∃µ(Pkµ∧∃µ∀ν(Pkν→ν≈µ)) Teo69
16. ∃µ(∃µ∀ν(Pkν→ν≈µ)∧Pkµ) Teo43 e TS
17. ∃µ∃µ(∀ν(Pkν→ν≈µ)∧Pkµ) Teo69
18. ∃µ(∀ν(Pkν→ν≈µ)∧Pkµ) Teo58
19. ∃µ(Pkµ∧∀ν(Pkν→ν≈µ)) Teo43 e TS
20. ∃µ∀ν(Pkν↔µ≈ν)→∃µ(Pkµ∧∀ν(Pkν→ν≈µ))
224
(⇐):
21. ∃µ(Pkµ∧∀ν(Pkν→ν≈µ)) P
22. Pkt∧∀ν(Pkν→ν≈t) P
23. ∀ν(Pkν→ν≈t) EC
24. Pkt1→t1≈t E-∀
25. Pkt1→t≈t1 Teo86
26. Pkt EC
27. t≈t1→ Pkt1 Teo85
28. Pkt1↔t≈t1 DD (22,24)
29. ∀ν(Pkν↔t≈ν) I-∀
30. ∃µ∀ν(Pkν↔µ≈ν) I-∃
31. ∃µ∀ν(Pkν↔µ≈ν) E-∃
32. ∃µ(Pkµ∧∀ν(Pkν→ν≈µ))→∃µ∀ν(Pkν↔µ≈ν)
33.∃µ∀ν(Pkν↔µ≈ν)↔∃µ(Pkµ∧∀ν(Pkν→ν≈µ)) DD
(20,32)
a) ϕ ∈ Γ se e somente se Γ ϕ
b) ϕ ∈ Γ se e somente se ¬ϕ ∉ Γ
c) (ϕ∨ψ) ∈ Γ se e somente se ϕ ∈ Γ ou ψ ∈ Γ
d) (ϕ∧ψ) ∈ Γ se e somente se ϕ ∈ Γ e ψ ∈ Γ
e) (ϕ→ψ) ∈ Γ se e somente se ϕ ∉ Γ ou ψ ∈ Γ (ou
ambos)
f) (ϕ↔ψ) ∈ Γ se e somente se ϕ, ψ ∈ Γ ou ϕ, ψ ∉ Γ
g) Dado que ∃µϕ ∈ Γ se e somente se ϕ[µ/t] ∈ Γ, para
algum t, temos que ∀µϕ ∈ Γ se e somente se ϕ[µ/t]
∈ Γ, para qualquer t
225
2. A semântica de LPPO
2.1 Estrutura e interpretação
p
q∧¬r
¬s
∀x∀y(Mx∧Hy→Ixy)
Hd∧¬Icd
¬Mc
c = Cacá
d = Dadá
M = x é mulher
H = x é homem
I = x é mais inteligente do que y
M = x maior que k,
H = x menor que k e
I = x maior que y.
M = x é americano,
H = x é iraquiano e
I = x é amigo de y.
∀x∀y(Mx∧Hy→Ixy)
Hd∧¬Icd
Hc
C =3
D =4
M = x é múltiplo de 4
H = x é múltiplo de 2
I = x é múltiplo de y