Professional Documents
Culture Documents
Mario J. Edmundo
Universidade Aberta
3 de Abril de 2015
2
Conteudo
1 Calculo de Proposicoes 5
1.1 A LINGUAGEM . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.1 As formulas do calculo de proposicoes. . . . . . . . . . 6
1.1.2 Eliminacao e re-introducao de parenteses. . . . . . . . 14
1.2 A SEMANTICA . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2.1 Tabelas de verdade. . . . . . . . . . . . . . . . . . . . 17
1.2.2 Consequencia logica. . . . . . . . . . . . . . . . . . . . 37
1.3 AS DEMONSTRACOES . . . . . . . . . . . . . . . . . . . . 51
1.3.1 Esquemas de deducao natural para o calculo de pro-
posicoes. . . . . . . . . . . . . . . . . . . . . . . . . . . 51
1.3.2 Adequacao e completude para a deducao natural. . . . 73
2 Calculo de Predicados 75
2.1 AS LINGUAGENS DE PRIMEIRA ORDEM . . . . . . . . . 76
2.1.1 As formulas de uma linguagem de primeira ordem. . . 76
2.1.2 Eliminacao e re-introducao de parenteses. . . . . . . . 99
2.2 A SEMANTICA . . . . . . . . . . . . . . . . . . . . . . . . . 103
2.2.1 Interpretacoes de linguagens de primeira ordem. . . . 103
2.2.2 Consequencia logica. . . . . . . . . . . . . . . . . . . . 121
2.3 AS DEMONSTRACOES . . . . . . . . . . . . . . . . . . . . 129
2.3.1 Esquemas de deducao natural para o calculo de pre-
dicados. . . . . . . . . . . . . . . . . . . . . . . . . . . 129
2.3.2 Adequacao e completude para a deducao natural. . . . 151
3
4 CONTEUDO
Captulo 1
Calculo de Proposicoes
5
6 CAPITULO 1. CALCULO DE PROPOSICOES
1.1 A LINGUAGEM
Uma proposicao e uma frase declarativa para a qual faz sentido dizer,
num dado contexto, se e verdadeira ou se e falsa nunca, no entanto,
ambas.
Uma proposicao atomica e uma proposicao simples que nao pode ser
obtida de outras proposicoes fazendo uso de nao, e, ou, se ...
entao, e se e so se.
EXEMPLOS 1.1.2
EXERCICIOS 1.1.3 Para cada uma das seguintes frases, diga se ela e
uma frase declarativa, se e uma proposicao e se e uma proposicao diga se
ela e verdadeira ou falsa.
(d) Junto do portao da sua casa Noburu encontrou uma folha de papel,
em que numa das paginas estava escritoA frase da outra pagina e
verdadeira, lendo-se na outra pagina A frase da outra pagina e falsa.
Uma proposicao possui sempre uma forma logica que corresponde a uma
formula bem formada (fbf) do calculo de proposicoes. Estas formulas bem
formadas (fbfs) sao expressoes simbolicas de uma certa linguagem formal,
a linguagem do calculo de proposicoes.
8 CAPITULO 1. CALCULO DE PROPOSICOES
OS SIMBOLOS:
Smbolos proposicionais:
p, q, r,
Smbolos de conectivos:
, , , ,
Smbolos de pontuacao:
( , )
(parenteses a esquerda e a direita.)
()
( )
( )
( )
( )
t: O Miyagi e estudante;
Se esta a chover em Toquio e a Aiko tem uma gata, entao a gata da Aiko
esta debaixo do sofa,
(v q)
(s r)
(r)
(r s)
((s p) r)
10 CAPITULO 1. CALCULO DE PROPOSICOES
(q p).
t: O Miyagi e estudante;
((t v) p)
((w v) t)
((p u) (s (r)))
((s (u)) r)
EXEMPLOS 1.1.7
As seguintes frases
(d) Se esta a chover em Toquio entao a gata da Aiko esta debaixo do sofa.
Se esta a chover em Toquio e a Aiko tem uma gata, entao a gata da Aiko
esta debaixo do sofa.
Escreva:
, , , ,
EXERCICIOS 1.1.13
(1) Para cada uma das expressoes seguintes diga se sao ou nao fbfs:
(a) (pq) p.
(b) t r.
(c) (s) u u.
(d) ((p) p) r.
(2) Reponha todos os parenteses em cada uma das seguintes fbfs:
(a) p s r p.
(b) p t p t.
(c) (u q) u q.
(d) p q p q.
(3) Retire todos os parenteses superfluos em cada uma das seguintes fbfs:
(a) ((s q) ((q s))) (s q).
(b) ((p u) u) u.
(c) ((p t) p) (t (t p)).
(d) (v (q q)) q.
1.2. A SEMANTICA 17
1.2 A SEMANTICA
p
0
1
Para fbfs:
0 1
1 0
0 0 0
0 1 0
1 0 0
1 1 1
0 0 0
0 1 1
1 0 1
1 1 1
18 CAPITULO 1. CALCULO DE PROPOSICOES
0 0 1
0 1 1
1 0 0
1 1 1
0 0 1
0 1 0
1 0 0
1 1 1
(1) p (q r).
Vamos calcular a tabela de verdade desta fbf passo a passo:
p q r a : (q r) pa
p q r a : (q r) pa
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
20 CAPITULO 1. CALCULO DE PROPOSICOES
p q r a : (q r) pa
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
p q r a : (q r) pa
0 0 0 0 0
0 0 1 0 0
0 1 0 0 0
0 1 1 1 1
1 0 0 0 1
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1
(2) p (q p).
Vamos calcular a tabela de verdade desta fbf passo a passo:
p q a : p b : (q a) pb
0 0 1 0 0
0 1 1 1 1
1 0 0 0 1
1 1 0 0 1
(3) p (q p).
Calculando a tabela de verdade desta fbf passo a passo obtemos no
fim:
p q a : p b : (q p) ab
0 0 1 1 1
0 1 1 0 1
1 0 0 1 1
1 1 0 1 1
(4) p (q p).
Calculando a tabela de verdade desta fbf passo a passo obtemos no
fim:
p q a : p b : (q a) pb
0 0 1 0 0
0 1 1 1 0
1 0 0 0 0
1 1 0 0 0
(a) p q p.
(b) r q p q.
(c) (p q) p q.
(d) p q p q.
Katashi vai a praia ou, Hiroka esta aborrecido e Katashi nao vai a praia
p (q p)
24 CAPITULO 1. CALCULO DE PROPOSICOES
p q a : p b : (q a) pb
0 0 1 0 0
0 1 1 1 1
1 0 0 0 1
1 1 0 0 1
Katashi vai a praia ou, se Hiroka esta aborrecido entao Katashi nao vai a
praia
DEFINICAO 1.2.6
EXEMPLOS 1.2.7 Vamos determinar quais das seguintes fbfs sao tau-
tologias, contradicoes ou contingencias:
(1) p (q r)
Comeca-se por calcular a tabela de verdade da fbf:
p q r a : (q r) pa
0 0 0 0 0
0 0 1 0 0
0 1 0 0 0
0 1 1 1 1
1 0 0 0 1
1 0 1 0 1
1 1 0 0 1
1 1 1 1 1
26 CAPITULO 1. CALCULO DE PROPOSICOES
p q r a : (q r) pa
0 0 0 0 0
0 0 1 0 0
0 1 0 0 0
I 0 1 1 1 1
I 1 0 0 0 1
I 1 0 1 0 1
I 1 1 0 0 1
I 1 1 1 1 1
(2) p (q p)
Comeca-se por calcular a tabela de verdade da fbf:
p q a : p b : (q a) pb
0 0 1 0 0
0 1 1 1 1
1 0 0 0 1
1 1 0 0 1
p q a : p b : (q a) pb
0 0 1 0 0
I 0 1 1 1 1
I 1 0 0 0 1
I 1 1 0 0 1
(3) p (q p)
Calculando a tabela de verdade desta fbf e procurando em seguida as
atribuicoes de valores de verdade aos smbolos proposicionais da fbf
1.2. A SEMANTICA 27
p q a : p b : (q p) ab
I 0 0 1 1 1
I 0 1 1 0 1
I 1 0 0 1 1
I 1 1 0 1 1
(4) p (q p)
Calculando a tabela de verdade desta fbf e procurando em seguida as
atribuicoes de valores de verdade aos smbolos proposicionais da fbf
para as quais o valor de verdade da fbf e 1 obtemos:
p q a : p b : (q a) pb
0 0 1 0 0
0 1 1 1 0
1 0 0 0 0
1 1 0 0 0
EXERCICIOS 1.2.8 Diga quais das seguintes fbfs sao tautologias, con-
tradicoes ou contingencias:
(a) p q r p.
(b) p q p q.
(c) (p q) p q.
(d) p q p q.
EXERCICIOS 1.2.9
(1) Construa para cada caso fbfs e por forma que as fbfs apresentadas
sejam tautologias:
(a) .
(b) .
28 CAPITULO 1. CALCULO DE PROPOSICOES
(2) Use a tautologia p p para mostrar que as seguintes fbfs sao tauto-
logias:
(a) (p q) (p q).
(b) p p.
(c) ((p q) r) ((p q) r).
DEFINICAO 1.2.12
p q r a : p b : q c : (p b) d : (a r) cd
0 0 0 1 1 0 0 0
0 0 1 1 1 0 1 1
0 1 0 1 0 0 0 0
0 1 1 1 0 0 1 1
1 0 0 0 1 1 0 1
1 0 1 0 1 1 0 1
1 1 0 0 0 0 0 0
1 1 1 0 0 0 0 0
30 CAPITULO 1. CALCULO DE PROPOSICOES
B : s p
p s a : p sa
0 0 1 1
0 1 1 1
1 0 0 1
1 1 0 0
C:rs
r s rs
0 0 1
0 1 1
1 0 0
1 1 1
p q r s A B C
p q r s A B C
0 0 1
0 1 1
1 0 0
1 0 1
posicao correspondente (resp. ). Se esta verificacao for inconclu-
siva para alguma fbf nao se coloca nada na coluna correspondente a
essa fbf.
p q r s A B C
0 0 1
0 1 1
1 0 0
1 0 1
p q r s A B C
0 0 1
0 1 1
1 0 0
1 0 1
p q r s A B C
0 0 1 0
0 0 1 1
0 1 1 0
0 1 1 1
1 0 0 0
1 0 1 0
essa fbf.
p q r s A B C
0 0 1 0
0 0 1 1
0 1 1 0
0 1 1 1
1 0 0 0
1 0 1 0
p q r s A B C
0 0 1 1
0 1 1 1
1 0 0 0
(2) {p q, s p, q s}.
A : p q
p q a : q pa
0 0 1 1
0 1 0 1
1 0 1 1
1 1 0 0
B : s p
p s a : p sa
0 0 1 0
0 1 1 1
1 0 0 1
1 1 0 0
1.2. A SEMANTICA 33
C:qs
q s qs
0 0 1
0 1 1
1 0 0
1 1 1
p q s A B C
p q s A B C
0 0
0 1
1 0
p q s A B C
0 0 1
0 1 1
1 0 0
p q s A B C
0 0 1
0 1 1
1 0 0
(a) {p q, (q p)}.
(b) {p q q, p q}.
(c) {p q p, q (q p)}.
(d) {p q q, p q}.
Aiko vai a festa e Sato nao vai ou Aiko nao vai a festa e Sato vai divertir-
se, e condicao suficiente para a Aiko nao ir a festa que ela esteja em
Toquio, e necessario que a Aiko esteja em Toquio para que Sato se
divirta.
(a) O Miyagi vai de ferias ou, se o Sato cometeu suicidio, entao foi encon-
trada uma arma. Se o Miyagi vai de ferias, entao o Sato nao cometeu
suicidio. No entanto, se uma arma foi encontrada, entao o Sato come-
teu suicidio.
1 , . . . , l |= .
1 , . . . , l 6|= .
(1) (p q) (p r), s p, r |= s.
Comecamos por calcular a tabela de verdade de cada uma das premis-
sas e da conclusao:
A : (p q) (p r)
p q r a : p b : q c : (p b) d : (a r) cd
0 0 0 1 1 0 0 0
0 0 1 1 1 0 1 1
0 1 0 1 0 0 0 0
0 1 1 1 0 0 1 1
1 0 0 0 1 1 0 1
1 0 1 0 1 1 0 1
1 1 0 0 0 0 0 0
1 1 1 0 0 0 0 0
B : s p
p s a : p sa
0 0 1 1
0 1 1 1
1 0 0 1
1 1 0 0
C:r
r
0
1
D:s
s
0
1
p q r s A B C D
p q r s A B C D
0 0 1
0 1 1
1 0 0
1 0 1
p q r s A B C D
0 0 1
0 1 1
1 0 0
1 0 1
p q r s A B C D
0 0 1 0
0 0 1 1
0 1 1 0
0 1 1 1
1 0 0 0
1 0 1 0
p q r s A B C D
0 0 1 0
0 0 1 1
0 1 1 0
0 1 1 1
1 0 1 0
p q r s A B C D
0 0 1 0
0 0 1 1
0 1 1 0
0 1 1 1
1 0 1 0
(2) p q, s p, q |= s.
Comecamos por calcular a tabela de verdade de cada uma das premis-
sas e da conclusao:
A : p q
p q a : q pa
0 0 1 1
0 1 0 1
1 0 1 1
1 1 0 0
B : s p
p s a : p sa
0 0 1 0
0 1 1 1
1 0 0 1
1 1 0 0
C:q
q
0
1
42 CAPITULO 1. CALCULO DE PROPOSICOES
D:s
s
0
1
(a) p.
(b) p q.
(c) p q.
(d) q p.
(a) p q.
(b) p q.
(c) p q.
(d) q p.
1.2. A SEMANTICA 45
EXERCICIOS 1.2.22
(1) Diga quais das seguintes fbfs e consequencia logica das fbfs p e q:
(a) p.
(b) p q.
(c) p q.
(d) q p.
(2) Diga quais das seguintes fbfs e consequencia logica das fbfs p e q:
(a) p q.
(b) p q.
(c) p q.
(d) q p.
(a) |= .
(b) |= .
(c) |= .
46 CAPITULO 1. CALCULO DE PROPOSICOES
(a) |= se e so se |= .
(b) |= se e so se |= .
(1) |= .
(uma implicacao e verdadeira logo que o consequente seja verdadeiro)
(2) |= .
(uma implicacao e verdadeira logo que o antecedente seja falso)
DEM.:
(1) , |= .
(modus ponens)
(2) , |= .
(modus tollens)
DEM.:
(1) , |= .
, |= .
(tollendo - ponens)
(2) , |= .
, |= .
(ponendo - tollens)
DEM.:
48 CAPITULO 1. CALCULO DE PROPOSICOES
(a) , |= .
(b) , |= .
Quando a Aiko vai a festa o Sato nao vai, como a Aiko nao vai a festa
se e so se esta em Toquio e como a Sato foi a festa, concluimos que a
Aiko esta em Toquio.
p q, s p, q |= s.
(2) (a) Hiroka nao e anarquista ou Katashi e ateu. Katashi e ateu. Logo
Hiroka e anarquista.
(b) Katashi e anarquista ou Katashi nao e ateu. Katashi e anarquista.
Logo Katashi e ateu.
(c) Hiroka e anarquista ou Katashi e ateu. Katashi nao e ateu. Logo
Hiroka nao e anarquista.
(d) Hiroka e anarquista ou Hiroka vai ganhar as eleicoes. Hiroka nao
e anarquista. Logo Hiroka nao vai ganhar as eleicoes.
1.3. AS DEMONSTRACOES 51
1.3 AS DEMONSTRACOES
I. IDENTIDADE
[ ]
[I]
[E1]
[E2]
[I1]
[I2]
() ()
.. ..
[E] . .
[ E1]
[ E2]
[ I]
1
Esquemas para a implicacao:
[ E]
()
..
[ I] .
2
Esquemas para a negacao:
()
..
[I] .
[E]
[Efq]
()
..
[Raa] .
Para alem do uso das tabelas de verdade, podemos mostrar que uma con-
clusao e consequencia logica das permissas construindo uma sucessao de
passos em que em cada passo a conclusao e consequencia logica das con-
clusoes e permissas anteriores. Ou seja, podemos verificar a validade do
argumento decompondo o argumento numa cadeia de argumentos validos
mais simples. A aplicacao deste tipo de metodo de argumentacao designa-
se por deducao ou demonstracao. A definicao formal deste conceito sera
apresentada de seguida.
Os esquemas de deducao natural para o calculo de proposicoes elencados
acima formam a lista das formas logicas dos argumentos validos mais simples
2
Aqui e em baixo, representa a contradicao.
54 CAPITULO 1. CALCULO DE PROPOSICOES
i {1 , . . . , l } (e uma hipotese).
k = .
1 , . . . , l ` .
1 , . . . , l 6` .
, `
A notacao de Gentzen:
[ E]
[I]
A notacao de Fitch:
1 Hip.
2 Hip.
3 1, 2 [ E]
4 3, 1 [I]
em representacao linear em que se enumeram os passos, separam-se as
premissas e, para cada passo, indica-se o esquema de deducao natural
aplicado e os numeros dos passos onde ocorrem as fbfs que intervem
no esquema.
A notacao de Lemmon:
- 1. Hip.
- 2. Hip.
- 3. 1, 2 [ E]
- 4. 3, 1 [I]
em representacao linear em que se indicam as dependencias as hipoteses
introduzidas (neste caso nao ha hipoteses introduzidas), enumeram-se
os passos, indicam-se as premissas e, para cada passo, indica-se o es-
quema de deducao natural aplicado e os numeros dos passos onde
ocorrem as fbfs que intervem no esquema.
Se tomarmos
Aiko vai a praia
56 CAPITULO 1. CALCULO DE PROPOSICOES
esta calor
entao as demonstracoes acima mostram a validade do argumento: Esta
calor. Se esta calor entao a Aiko vai a praia. Logo a Aiko vai a praia e esta
calor.
Nestas demonstracoes foram usados apenas esquemas que nao introdu-
zem novas hipoteses. Nomeadamente, [ E] e por fim [I]. A aplicacao
do esquema [I] corresponde a uma demonstracao de uma conjuncao: se
tivermos uma conjuncao na conclusao podemos tentar obter a conclusao de-
monstrando separadamente apartir das hipoteses cada um dos conjuntos da
conjuncao e aplicar em seguida [I].
( ) `
A notacao de Gentzen:
[ ]
[] [E1]
[I1] [I2]
( )
[E]
A notacao de Fitch:
1 ( ) Hip.
2 Hip.[E]
3 2 [I1]
4 Hip.[E]
5 4 [E1]
6 5 [I2]
7 1, 2 - 3, 4 - 6 [E]
1.3. AS DEMONSTRACOES 57
A notacao de Lemmon:
- 1. ( ) Hip.
{2} 2. Hip.[E]
{2} 3. 2 [I1]
{4} 4. Hip.[E]
{4} 5. 4 [E1]
{4} 6. 5 [I2]
- 7. 1, 2 - 3, 4 - 6 [E]
em representacao linear em que se indicam as dependencias as hipoteses
introduzidas, enumeram-se os passos, indicam-se as premissas e, para
cada passo, indica-se o esquema de deducao natural aplicado e os
numeros dos passos onde ocorrem as fbfs que intervem no esquema.
Se tomarmos
Aiko vai a praia
Aiko vai ao cinema
Sato vai ao cinema
entao as demonstracoes acima mostram a validade do argumento: A Aiko
vai ao cinema ou, a Aiko vai a praia e o Sato vai ao cinema. Logo a Aiko
vai ao cinema ou a praia.
Nestas demonstracoes foi usado um esquema que introduz novas hipoteses,
nomeadamente [E] (eliminacao da disjuncao) (para alem dos esquemas
[I1], [I2] e [E1] que nao introduzem novas hipoteses). A aplicacao do
esquema [E] corresponde a uma demonstracao por casos: se tivermos uma
disjuncao nas hipoteses podemos tentar obter a conclusao introduzindo cada
um dos disjuntos da disjuncao como uma nova hipotese e demonstrar sepa-
radamente apartir destas novas hipoteses a conclusao e aplicar em seguida
[E] para eliminar as hipoteses introduzidas.
( ) ` ( )
A notacao de Gentzen:
58 CAPITULO 1. CALCULO DE PROPOSICOES
[] ( ) []
[ ] [ E]
[ E]
[ I]
[ I]
( )
A notacao de Fitch:
1 ( ) Hip.
2 Hip.[ I]
3 Hip.[ I]
4 3, 1 [ E]
5 2, 4 [ E]
6 3 - 5 [ I]
7 ( ) 2 - 6 [ I]
em representacao linear em que se enumeram os passos, separam-se as
premissas, separam-se as demonstracoes que dependem de hipotese in-
troduzidas e, para cada passo, indica-se o esquema de deducao natural
aplicado e os numeros dos passos onde ocorrem as fbfs que intervem
no esquema.
A notacao de Lemmon:
- 1. ( ) Hip.
{2} 2. Hip.[ I]
{2, 3} 3. Hip.[ I]
{2, 3} 4. 3, 1 [ E]
{2, 3} 5. 2, 4 [ E]
{2} 6. 3 - 5 [ I]
- 7. ( ) 2 - 6 [ I]
em representacao linear em que se indicam as dependencias as hipoteses
introduzidas, enumeram-se os passos, indicam-se as premissas e, para
cada passo, indica-se o esquema de deducao natural aplicado e os
numeros dos passos onde ocorrem as fbfs que intervem no esquema.
Se tomarmos
Miyagi vai a praia
1.3. AS DEMONSTRACOES 59
( ) []
[ E]
[ ] [E1]
[E]
[I]
em forma de arvore em que as folhas sao as premissas e as hipoteses
introduzidas, os ramos sao as fbfs obtidas por aplicacao dos esquemas
de deducao natural, identificados em cada passo, e, a base e a conclusao
(a fbf que se pretende demonstrar).
A notacao de Fitch:
1 ( ) Hip.
2 Hip.
3 Hip.[I]
4 3, 1 [ E]
5 4 [E1]
6 5, 2 [E]
7 3 - 6 [I]
60 CAPITULO 1. CALCULO DE PROPOSICOES
A notacao de Lemmon:
- 1. ( ) Hip.
- 2. Hip.
{3} 3. Hip.[I]
{3} 4. 3, 1 [ E]
{3} 5. 4 [E1]
{3} 6. 5, 2 [E]
- 7. 3 - 6 [I]
em representacao linear em que se indicam as dependencias as hipoteses
introduzidas, enumeram-se os passos, indicam-se as premissas e, para
cada passo, indica-se o esquema de deducao natural aplicado e os
numeros dos passos onde ocorrem as fbfs que intervem no esquema.
Se tomarmos
Esta sol
Noburu vai a praia
Noburu vai ao cinema
entao as demonstracoes acima mostram a validade do argumento: Se esta
sol entao o Noburu vai a praia e nao vai ao cinema. Noburu nao vai a praia.
Logo nao esta sol.
Nestas demonstracoes foi usado um esquema que introduz novas hipoteses,
nomeadamente [I] (introducao da negacao) (para alem do esquema [ E],
[E1] e [E] que nao introduzem novas hipoteses). A aplicacao do esquema
[I] corresponde a uma demonstracao de uma negacao: se tivermos uma
negacao na conclusao podemos tentar obter a conclusao introduzindo a pro-
posicao negada como uma nova hipotese e demonstrar apartir desta nova
hipotese que se chega a uma contradicao () e aplicar em seguida [I] para
eliminar a hipotese introduzida.
( ), `
A notacao de Gentzen:
1.3. AS DEMONSTRACOES 61
( ) []
[ E]
[ ] [E1]
[E]
[Raa]
A notacao de Fitch:
1 ( ) Hip.
2 Hip.
3 Hip.[Raa]
4 3, 1 [ E]
5 4 [E1]
6 5, 2 [E]
7 3 - 6 [Raa]
em representacao linear em que se enumeram os passos, separam-se as
premissas, separam-se as demonstracoes que dependem de hipotese in-
troduzidas e, para cada passo, indica-se o esquema de deducao natural
aplicado e os numeros dos passos onde ocorrem as fbfs que intervem
no esquema.
A notacao de Lemmon:
- 1. ( ) Hip.
- 2. Hip.
{3} 3. Hip.[Raa]
{3} 4. 3, 1 [ E]
{3} 5. 4 [E1]
{3} 6. 5, 2 [E]
- 7. 3 - 6 [Raa]
em representacao linear em que se indicam as dependencias as hipoteses
introduzidas, enumeram-se os passos, indicam-se as premissas e, para
cada passo, indica-se o esquema de deducao natural aplicado e os
numeros dos passos onde ocorrem as fbfs que intervem no esquema.
Se tomarmos
Esta sol
62 CAPITULO 1. CALCULO DE PROPOSICOES
(a) , , `
(b) , , , `
(c) , , `
1.3. AS DEMONSTRACOES 65
- 1. Hip.
{2} 2. Hip.[E]
{2} 3. 2[ ]
{4} 4. Hip.[E]
{4} 5. 4[ ]
- 6. 2, 5 [ I]
(1) ( )
{1} 1. Hip.[ I]
{1, 2} 2. Hip.[ I]
{1, 2} 3. 1[ ]
{1} 4. 2 - 3 [ E]
- 5. ( ) 1 - 4 [ I]
(2) ( ( )) (( ) ( ))
{1} 1. ( ) Hip.[ I]
{1, 2} 2. Hip.[ I]
{1, 2, 3} 3. Hip.[ I]
{1, 2, 3} 4. 3, 2 [ E]
{1, 2, 3} 5. 4, 1 [ E]
{1, 2, 3} 6. 4, 5 [ E]
{1, 2} 7. 3 - 6 [ I]
{1} 8. ( ) ( ) 2 - 7 [ I]
- 9. ( ( )) (( ) ( )) 1 - 8 [ I]
(3) ( ) (( ) )
{1} 1. Hip.[ I]
{1, 2} 2. Hip.[ I]
{1, 2, 3} 3. Hip.[Raa]
{1, 2, 3} 4. 3, 2 [ E]
{1, 2, 3} 5. 3, 1 [ E]
{1, 2, 3} 6. 4, 5 [E]
{1, 2} 7. 3 - 6 [Raa]
{1} 8. ( ) 2 - 7 [ I]
- 9. ( ) (( ) ) 1 - 8 [ I]
DEM.:
`
1.3. AS DEMONSTRACOES 67
{1} 1. ( ) Hip.[Raa]
{1, 2} 2. Hip.[I]
{1, 2} 3. 2 [I1]
{1, 2} 4. 1, 3 [E]
{1} 5. 1 - 4 [I]
{1, 6} 6. Hip.[I]
{1, 6} 7. 6 [I2]
{1, 6} 8. 1, 7 [E]
{1} 9. 6 - 8 [I]
{1} 10. 5, 9 [E]
- 8. 1 - 10 [Raa]
A outra demonstracao e similar. 2
(b) ( )
(c) ( )
(d)
(b) ( )
(c) ( ) (( ) ( ))
(b) ( )
(c) ( ) ( )
(d) ( ) (( ) ( ))
68 CAPITULO 1. CALCULO DE PROPOSICOES
(a) ( )
(b) ( )
(c) ( ) (( ) ( ))
DEM.: ` .
- 1. Hip.
{2} 2. Hip.[ I]
{2, 3} 3. Hip.[Raa]
{2, 3} 4. 3, 1 [ E]
{2, 3} 5. 2, 4 [E]
{2} 6. 3 - 5 [Raa]
- 7. 2 - 6 [ I]
As outras demonstracoes sao similares. 2
(a) ` .
(b) ` .
(c) ` .
(a) ` se e so se ` .
(b) ` se e so se ` .
1.3. AS DEMONSTRACOES 69
DEM.:
- 1. Hip.
- 2. Hip.
{3} 3. Hip.[ I]
{3} 4. 3, 1 [ E]
{3} 5. 4, 2 [ E]
- 6. 3 - 5 [ I]
2
(1) ` .
(2) ` .
DEM.:
(1) ` .
- 1. Hip.
{2} 2. Hip.[ I]
{2} 3. 1[ ]
- 4. 2 - 3 [ I]
(2) ` .
- 1. Hip.
{2} 2. Hip.[ I]
{2} 3. 1[ ]
{2} 4. 2, 3 [E]
- 5. 2 - 4 [ I]
2
(1) , ` .
(modus ponens)
(2) , ` .
(modus tollens)
DEM.:
(1) , ` .
- 1. Hip.
- 2. Hip.
- 3. 2, 1 [ E]
(2) , ` .
- 1. Hip.
- 2. Hip.
{3} 3. Hip.[I]
{3} 4. 1, 3, [ I]
{3} 5. 2[ ]
{3} 6. 4, 5 [E]
- 7. 3 - 6 [I]
2
(1) , ` .
, ` .
(tollendo - ponens)
(2) , ` .
, ` .
(ponendo - tollens)
DEM.:
(1) , ` .
1.3. AS DEMONSTRACOES 71
- 1. Hip.
- 2. Hip.
{3} 3. Hip.[E]
{3} 4. 2[ ]
{3} 5. 3, 4 [E]
{4} 6. Hip.[E]
{4} 7. 6[ ]
- 8. 1, 3 - 5, 6 - 7 [E]
A outra demonstracao e similar.
(2) , ` .
- 1. Hip.
- 2. Hip.
{3} 3. Hip.[E]
{3} 4. 2[ ]
{3} 5. 3, 4 [E]
{4} 6. Hip.[E]
{4} 7. 6[ ]
- 8. 1, 3 - 5, 6 - 7 [E]
A outra demonstracao e similar.
(a) , ` .
(b) , ` .
( ) (( ) )
(b) A contraposicao.
1.3. AS DEMONSTRACOES 73
1 , . . . , l `
1 , . . . , l |= .
DEM.: Caso contrario existe uma fbf tal que e sao demonstraveis.
Entao, pela adequacao, e sao tautologias o que e absurdo. 2
1 , . . . , l |=
entao
1 , . . . , l `
no sistema de deducao natural para calculo de proposicoes. Ou seja todo
o argumento valido e demonstravel no sistema de deducao natural para o
calculo de proposicoes. Em particular, toda a tautologia e um teorema do
calculo de proposicoes.
Captulo 2
Calculo de Predicados
75
76 CAPITULO 2. CALCULO DE PREDICADOS
I. SIMBOLOS:
, , , ,
Smbolos de quantificadores:
Smbolos de variaveis:
x, y, z,
(em numero infinito numeravel.)
Smbolos de pontuacao:
( , )
(parenteses a esquerda e a direita.)
Smbolo de igualdade:
=
(opcional.)
Smbolos de constantes:
a, b, c,
(alguns ou todos opcionais.)
Para cada n N :
A, B, C, , R, S, T,
(alguns ou todos opcionais para cada n.)
f, g, h,
(alguns ou todos opcionais para cada n.)
Termos de L:
f (t1 , . . . , tn )
e um termo;
Formulas atomicas de L:
(s1 = s2 )
()
( )
( )
( )
( )
(x)
(x)
EXEMPLOS 2.1.2
a: Aiko
s: Sato
m: Miyagi
g: Goro
t: Tomiko
G(x): x tem uma gata
A(x, y): x e amigo de y
S(y): a gata de y esta debaixo do sofa
C(z): esta a chover onde z mora
K(x): a gata de x gosta de chuva
E(z): z e estudante
Smbolo de igualdade:
nao incluido
Smbolos de constantes:
a, s, m, g, t
80 CAPITULO 2. CALCULO DE PREDICADOS
Smbolos de predicados:
G, S, C, K, E (1-arios)
A (2-ario)
Smbolos de funcoes:
nenhum
G(a)
A(s, a)
S(a)
C(t)
E(m)
K(a)
A(m, a)
(x(A(x, a) E(x)))
Observe-se que nesta lista de fbfs todas sao fbfs atomicas excepto a
ultima. Assim, as proposicoes atomicas do calculo de proposicoes nao
correspondem necessariamente fbfs atomicas do calculo de predicados.
t: Tomiko
I(x): x e irmao de Goro
E(y): y e estudante
Smbolo de igualdade:
nao incluido
Smbolos de constantes:
t
Smbolos de predicados:
I, E (1-arios)
82 CAPITULO 2. CALCULO DE PREDICADOS
Smbolos de funcoes:
nenhum
(I(t) E(t))
t: Tomiko
g: Goro
J(x, y): x e irmao de y
E(y): y e estudante
Smbolo de igualdade:
nao incluido
Smbolos de constantes:
t, g
Smbolos de predicados:
E (1-arios)
J (2-arios)
Smbolos de funcoes:
nenhum
(J(t, g) E(t))
t: Tomiko
g: Goro
E(y): y e estudante
p: u 7 p(u), a correspondencia que associa a u o pai p(u) de u
m: v 7 m(v), a correspondencia que associa a v a mae m(v) de v.
p, m (1-arios)
Nesta outra linguagem de primeira ordem a proposicao acima possui
uma forma logica que corresponde a seguinte fbf de L00 :
B
@
@
@
t g
@
@C
L
A
Determine notacoes para sujeitos, predicados e correspondencias entre sujei-
tos tais que em cada caso se obtem uma linguagem de primeira ordem com os
parametros indicados e determine em seguida a forma logica da proposicao
nessa linguagem:
84 CAPITULO 2. CALCULO DE PREDICADOS
(a)
Smbolo de igualdade:
nao incluido
Smbolos de constantes:
t
Smbolos de predicados:
I, E (1-arios)
Smbolos de funcoes:
nenhum
(b)
Smbolo de igualdade:
nao incluido
Smbolos de constantes:
t, g
Smbolos de predicados:
E (1-arios)
J (2-arios)
Smbolos de funcoes:
nenhum
(c)
Smbolo de igualdade:
incluido
Smbolos de constantes:
t, g
Smbolos de predicados:
E (1-arios)
Smbolos de funcoes:
p, m (1-arios)
2.1. AS LINGUAGENS DE PRIMEIRA ORDEM 85
, , , +, , , , , . . .
, 4, v, , , , <, <, . . .
x y, x 4 y, x v y, xy x y, x y, x < y, x < y, . . .
0, 1
respectivamente
x, x1 .
A utilizacao destes smbolos especiais e apenas feita em contextos onde
se espera que as operacoes binarias (resp. relacoes binarias, constantes e
correspondencias 1-arias) que estes smbolos denotam possuam propriedades
parecidas com as usuais para a adicao ou multiplicacao (resp. maior ou igual,
0, 1, menos ou inverso).
0: o numero natural 0
1: o numero natural 1
86 CAPITULO 2. CALCULO DE PREDICADOS
2: o numero natural 2
3: o numero natural 3
.. ..
. .
(c) existem numeros naturais primos (i.e. numeros cujos unicos divisores
sao 1 e eles proprios).
(x(y((v(x = v y)) ((y = 1) (y = x)))))
G(x): x e gato
C(y): y gosta de chuva
Smbolos de funcoes:
nenhum
(x(G(x) C(x)))
(x(G(x) C(x)))
(x(G(x) C(x)))
(x(G(x) C(x)))
a: ponto a
s: ponto s
m: ponto m
g: ponto g
t: ponto t
B
@
@ t
@a
m s @
@C
L
g
A
Seja L a linguagem de primeira ordem com o smbolo de igualdade determi-
nada por esta notacao. Escreva fbfs na linguagem L que correspondem as
seguintes proposicoes compostas:
EXEMPLOS 2.1.10
t: Tomiko
g: Goro
J(x, y): x e irmao de y
E(y): y e estudante
t, g
- abertos:
w (variavel arbitraria)
(b) As fbfs atomicas de L sao:
t: Tomiko
g: Goro
E(y): y e estudante
p: u 7 p(u), a correspondencia que associa a u o pai p(u) de u
m: v 7 m(v), a correspondencia que associa a v a mae m(v) de v.
t, g
p(t), p(p(t)), . . .
m(t), m(m(t)), . . .
m(p(t)), m(p(p(t))), . . .
p(m(t)), p(m(m(t))), . . .
......
p(g), p(p(g)), . . .
m(g), m(m(g)), . . .
m(p(g)), m(p(p(g))), . . .
p(m(g)), p(m(m(g))), . . .
......
92 CAPITULO 2. CALCULO DE PREDICADOS
- abertos:
w (variavel arbitraria)
p(w), p(p(w)), . . .
m(w), m(m(w)), . . .
m(p(w)), m(p(p(w))), . . .
p(m(w)), p(m(m(w))), . . .
......
(com w uma variavel arbitraria)
(b) As fbfs atomicas de L sao:
0: o numero natural 0
1: o numero natural 1
EXEMPLOS 2.1.14 Vamos determinar para cada uma das fbfs de uma
dada linguagem de primeira ordem indicadas em baixo:
EXERCICIOS 2.1.15 Determine para cada uma das fbfs de uma dada
linguagem de primeira ordem indicadas em baixo:
a: ponto a
s: ponto s
m: ponto m
g: ponto g
t: ponto t
B
@
@ t
@a
m s @
@C
L
g
A
Seja L a linguagem de primeira ordem com o smbolo de igualdade determi-
nada por esta notacao. Entao:
0: o numero natural 0
1: o numero natural 1
2: o numero natural 2
3: o numero natural 3
.. ..
. .
a: Tomiko
b: Goro
E(y): y e estudante
(a) Seja
entao
(b) Seja
: (x((p(p(x)) = b) E(x)))
todos os netos de Goro sao estudantes
t: a
entao
tx : (x((p(p(x)) = b) E(x)))
todos os netos de Goro sao estudantes.
Note-se que pode-se sempre formar tx mas, como veremos mais adiante, e
conveniente evitar as substituicoes tx quando t nao e livre para x em .
a: Tomiko
b: Goro
E(y): y e estudante
i) traduza ;
ii) determine ty ;
iii) traduza ty
, , , , , ,
1. Os parenteses exteriores de uma fbf que nao seja uma fbf atomica com
um predicado sao superfluos e podem ser re-introduzidos.
2.1. AS LINGUAGENS DE PRIMEIRA ORDEM 101
EXERCICIOS 2.1.24
(1) Para cada uma das expressoes seguintes diga se sao ou nao fbfs de
uma dada linguagem de primeira ordem:
(2) Retire todos os parenteses superfluos das seguintes fbfs de uma dada
linguagem de primeira ordem:
(3) Reponha todos os parenteses nas seguintes fbfs de uma dada lingua-
gem de primeira ordem:
2.2 A SEMANTICA
R: RM
T: TM
S: S M
..
.
onde a direita temos o predicados n-arios no domnio de inter-
pretacao de M denotado pelo smbolo de predicado n-ario de L
a esquerda;
(1)
2.2. A SEMANTICA 105
(2)
(3)
x: x
c: cM
2.2. A SEMANTICA 107
f (t1 , . . . , tn ): f (t1 , . . . , tn )M
(t1 = t2 ): (t1 = t2 )M
P (t1 , . . . , tn ): P (t1 , . . . , tn )M
: M
(): ()M
( ): ( )M
( ): ( )M
( ): ( )M
( ): ( )M
(x): (x)M
(x): (x)M
v1 : a1
..
.
vl : al
(1)
Interpretacoes induzidas:
t: o avo do familiar x de Goro e Tomiko
: x e um familiar de Goro e Tomiko que e irmao de Tomiko e e
estudante
: existe um familiar x de Goro e Tomiko tal que y e um familiar
de Goro e Tomiko que nao e estudante e x e estudante.
(2)
Interpretacoes induzidas:
t: o ponto da circunferencia que pertence ao segmento de recta que
une p(x) ao ponto s onde p(x) e o ponto da circunferencia que
pertence ao segmento de recta que une x ao ponto s.
: x e um ponto do circulo que pertence ao segmento de recta que
une o ponto s ao ponto r e percente a circunferencia
: existe um ponto do circulo x tal que y e um ponto do circulo
que nao pertence a circunferencia e x percente a circunferencia.
(1)
Interpretacao induzida:
: para todo o numero natural x se x divide o numero natural y
entao x e igual a y ou x e igual a 1 (ou seja, y e um numero
primo)
(2)
Miyagi
Aiko Sato
Noburu
Interpretacao induzida:
2.2. A SEMANTICA 113
y: a Aiko
Instanciacao da interpretacao induzida:
os unicos amigos da Aiko que gostam de Aiko sao a Aiko ou o
Miyagi: e uma proposicao verdadeira.
(1)
x: o numero 34 .
x: o numero 4.
(2)
x: o numero 49.
x: o numero 4.
(3)
Sato
Aiko Miyagi
Noburu
Katashi
2.2. A SEMANTICA 115
x: Aiko
x: Katashi
: T (x, y).
: xy yx
: yx xy
e uma contingencia.
(a) (x x) x( )
(b) (x x) x( )
(c) x( ) (x x)
(d) x( ) (x x)
(a) x
(b) x
(c) x zx
(d) zx x
1 , . . . , l |=L .
1 , . . . , l 6|=L .
1 , . . . , l |= (resp. |= )
ou
1 , . . . , l 6|= (resp. 6|= ).
(a) |= se e so se |= .
2.2. A SEMANTICA 123
(b) |= se e so se |= .
(1) |= .
(uma implicacao e valida logo que o consequente seja valido)
(2) |= .
(uma implicacao e valida logo que o antecedente seja uma contradicao)
(1) , |= .
(modus ponens)
(2) , |= .
(modus tollens)
(1) , |= .
, |= .
(tollendo - ponens)
(2) , |= .
, |= .
(ponendo - tollens)
124 CAPITULO 2. CALCULO DE PREDICADOS
|= xt x, t e livre para x em .
|= x xt , t e livre para x em .
|= x , x nao ocorre em .
e o argumento e valido se e so
x(B(x) (z(S(x, z) S(z, z)))) |= xB(x).
e verdadeira.
(a) Todos os amigos da Aiko que sao vegetarianos sao raparigas. Todos os
amigos da Aiko sao vegetarianos. Logo todos os amigos da Aiko sao
raparigas.
(b) Katashi tem um amigo que e matematico e neurotico. Logo Katashi tem
um amigo que e matematico e Katashi tem um amigo que e neurotico.
(d) Se a Aiko tem um amigo vegetariano entao a Aiko tem uma amiga. Logo
a Aiko tem um amigo tal que se e vegetariano entao e uma rapariga
(amiga).
2.3. AS DEMONSTRACOES 129
2.3 AS DEMONSTRACOES
I. IDENTIDADE
[ ]
[I]
[E1]
[E2]
[I1]
130 CAPITULO 2. CALCULO DE PREDICADOS
[I2]
() ()
.. ..
[E] . .
[ E1]
[ E2]
[ I]
1
Esquemas para a implicacao:
[ E]
()
..
[ I] .
1
O esquema [ E] e modus ponens - MP. Por outro lado, o esquema [ I] e
conhecido pelo nome de Teorema da Deducao - TD.
2.3. AS DEMONSTRACOES 131
2
Esquemas para a negacao:
()
..
[I] .
[E]
[Efq]
()
..
[Raa] .
xt
[I] t e livre para x em
x
2
Aqui e em baixo, representa a contradicao.
132 CAPITULO 2. CALCULO DE PREDICADOS
(v xv )
..
[E] . v e uma nova variavel que nao ocorre antes nem
x
em
x
[E] t e livre para x em
xt
(v )
..
[I] . v e uma nova variavel que nao ocorre antes
xv
x
i {1 , . . . , l } (e uma hipotese).
2.3. AS DEMONSTRACOES 133
k = .
1 , . . . , l ` .
1 , . . . , l 6` .
1 , . . . , l ` (resp. ` )
ou
1 , . . . , l 6` (resp. 6` ).
x( ), x ` x
construindo uma demonstracao por aplicacao dos esquemas de deducao na-
tural. Podemos fazer a demonstracao usando:
A notacao de Gentzen:
134 CAPITULO 2. CALCULO DE PREDICADOS
x( ) x
(v) (v)
[E] [E]
xv vx xv
[ E]
vx
[I]
x
A notacao de Fitch:
1 x( ) Hip.
2 x Hip.
3 v Hip.[I]
4 xv vx 1 [E]
5 xv 2 [E]
6 vx 4, 5 [ E]
7 x 3 - 6 [I]
A notacao de Lemmon:
- 1. x( ) Hip.
- 2. x Hip.
{v} 3. Hip.[I]
{v} 4. xv vx 1 [E]
{v} 5. xv 2 [E]
{v} 6. vx 4, 5 [ E]
- 7. x 3 - 6 [I]
em representacao linear em que se indicam as dependencias as hipoteses
introduzidas (neste caso nao ha hipoteses introduzidas) e as novas
2.3. AS DEMONSTRACOES 135
x( ) ` x x
construindo uma demonstracao por aplicacao dos esquemas de deducao na-
tural. Podemos fazer a demonstracao usando:
A notacao de Gentzen:
( v xv vx ) ( v xv vx )
[E1] [E2]
vx vx
[I] [I]
x x
[I]
x( ) x x
[E]
x x
A notacao de Fitch:
1 x( ) Hip.
2 v xv vx 1 Hip.[E]
3 xv 2 [E]
4 vx 2 [E]
5 x 3 [I]
6 x 4 [I]
7 x x 5, 6 [I]
8 x x 1, 2 - 7 [E]
A notacao de Lemmon:
- 1. x( ) Hip.
{2, v} 2. xv vx Hip.[E]
{2, v} 3. xv 2 [E1]
{2, v} 4. vx 2 [E2]
{2, v} 5. x 3 [I]
{2, v} 6. x 4 [I]
{2, v} 7. x x 5, 6 [I]
- 8. x x 1, 2 - 7 [E]
em representacao linear em que se indicam as dependencias as hipoteses
introduzidas e as novas variaveis introduzidas, enumeram-se os passos,
indicam-se as premissas e, para cada passo, indica-se o esquema de
deducao natural aplicado e os numeros dos passos onde ocorrem as
fbfs que intervem no esquema.
Se tomarmos a seguinte interpretacao de L e das fbfs de L:
Domnio de interpretacao: as variaveis denotam animais
: x e um peixe
: x sabe nadar
entao as demonstracoes acima mostram a validade do argumento:
Existe um animal que e peixe e sabe nadar. Logo existe um ani-
mal que e peixe e existe um animal que sabe nadar.
2.3. AS DEMONSTRACOES 137
x x ` x( )
A notacao de Gentzen:
( x ) ( x )
(v) (w)
[E] [E]
xv wx
[I1] [I2]
xv vx xw w
x
[I] [I]
x x x( ) x( )
[E]
x( )
A notacao de Fitch:
138 CAPITULO 2. CALCULO DE PREDICADOS
1 x x Hip.
2 x Hip.[E]
3 v Hip.[I]
4 xv 2 [E]
5 xv vx 4 [I1]
6 x( ) 3 - 5 [I]
7 x Hip.[E]
8 w Hip.[I]
9 x
w 7 [E]
10 xw w
x 9 [I2]
11 x( ) 8 - 10 [I]
12 x( ) 1, 2 - 6, 7 - 11 [E]
A notacao de Lemmon:
- 1. x x Hip.
{2} 2. x Hip.[E]
{2, v} 3. Hip.[I]
{2, v} 4. xv 2 [E]
{2, v} 5. xv vx 4 [I1]
{2} 6. x( ) 3 - 5 [I]
{7} 7. x Hip.[E]
{7, w} 8. Hip.[I]
{7, w} 9. x
w 7 [E]
{7, w} 10. x x
w w 9 [I2]
{7} 11. x( ) 8 - 10 [I]
- 12. x( ) 1, 2 - 6, 7 - 11 [E]
em representacao linear em que se indicam as dependencias as hipoteses
introduzidas e as novas variaveis introduzidas, enumeram-se os passos,
indicam-se as premissas e, para cada passo, indica-se o esquema de
deducao natural aplicado e os numeros dos passos onde ocorrem as
fbfs que intervem no esquema.
2.3. AS DEMONSTRACOES 139
x ` x( )
A notacao de Gentzen:
( v vx )
( xv )
[ ]
vx
[ I]
xv vx
[I]
x x( )
[E]
x( )
A notacao de Fitch:
1 x Hip.
2 v vx Hip.[E]
3 xv Hip.[ I]
4 vx 2[ ]
5 xv vx 3, 4 [ I]
6 x( ) 5 [I]
7 x( ) 1, 2 - 6 [E]
A notacao de Lemmon:
- 1. x Hip.
{2, v} 2. vx Hip.[E]
{2, v, 3} 3. xv Hip.[ I]
{2, v, 3} 4. vx 2[ ]
{2, v} 5. xv vx 3, 4 [ I]
{2, v} 6. x( ) 5 [I]
- 7. x( ) 1, 2 - 6 [E]
em representacao linear em que se indicam as dependencias as hipoteses
introduzidas e as novas variaveis introduzidas, enumeram-se os passos,
indicam-se as premissas e, para cada passo, indica-se o esquema de
deducao natural aplicado e os numeros dos passos onde ocorrem as
fbfs que intervem no esquema.
Se tomarmos a seguinte interpretacao de L e das fbfs de L:
Domnio de interpretacao: as variaveis denotam animais
: x e um peixe
: x sabe nadar
entao as demonstracoes acima mostram a validade do argumento:
Existe um animal que sabe nadar. Logo existe um animal tal que
se e peixe entao sabe nadar.
Nestas demonstracoes foi usado um esquema que introduz uma nova
hipotese e uma nova variavel, nomeadamente [E] e o esquema [ I]
2.3. AS DEMONSTRACOES 141
que introduz uma nova hipotese (para alem dos esquemas [ ], [ I]
e [I] que nao introduzem novas hipoteses nem novas variaveis). A
aplicacao do esquema [I] corresponde a uma demonstracao de uma
fbf existencial: se tivermos uma fbf existencial na conclusao podemos
tentar obter a conclusao obtendo primeiro a fbf existencializada ins-
tanciada com um termo apropriado e aplicar em seguida [I].
(a) ` se e so se ` .
(b) ` se e so se ` .
(1) ` .
(2) ` .
(1) , ` .
(modus ponens)
(2) , ` .
(modus tollens)
(1) , ` .
, ` .
(tollendo - ponens)
(2) , ` .
, ` .
(ponendo - tollens)
2.3. AS DEMONSTRACOES 147
DEM.:
{1} 1. Hip.[ I]
{1, v} 2. Hip.[I]
{1, v} 3. xv 1[ ]
{1} 4. x 2 - 3 [I]
- 5. x 1 - 4 [ I]
2
` xt x, t e livre para x em .
Em particular o resultado e verificado quando t e: (i) uma constante; (ii) x
e x nao ocorre em ; (iii) x e x ocorre livre em .
DEM.:
{1} 1. xt Hip.[ I]
{1} 2. x 1 [I]
- 3. xt x 1 - 2 [ I]
2
148 CAPITULO 2. CALCULO DE PREDICADOS
` x xt , t e livre para x em .
Em particular o resultado e verificado quando t e: (i) uma constante; (ii) x
e x nao ocorre em ; (iii) x e x ocorre livre em .
` x , x nao ocorre em .
DEM.:
{1} 1. x Hip.[ I]
{1} 2. xt 1 [E]
{1} 3. x 2 [I]
- 4. x x 1 - 3 [ I]
2
x( ) (x x).
2.3. AS DEMONSTRACOES 149
(1) x x.
x x.
(2) x x.
x x.
DEM.:
(1) ` x x.
{1} 1. x Hip.[ I]
{1, 2} 2. x Hip.[Raa]
{1, 2, v} 3. Hip.[I]
{1, 2, v, 4} 4. xv Hip.[Raa]
{1, 2, v, 4} 5. x 4 [I]
{1, 2, v, 4} 6. 2, 5 [E]
{1, 2, v} 7. xv 4 - 6 [Raa]
{1, 2} 8. x 3 - 7 [I]
{1, 2} 9. 1, 8 [E]
{1} 10. x 2 - 9 [Raa]
- 11. x x 1, 10 [ I]
{12} 12. x Hip.[ I]
{12, 13, v} 13. xv Hip.([E])
{12, 13, v, 14} 14. x Hip.[I]
{12, 13, v, 14} 15. xv 14 [E]
{12, 13, v, 14} 16. 13, 15 [E]
{12, 13, v} 17. x 14 - 16 [I]
{12} 18. x 12, 13 - 17 [E]
- 19. x x 12 - 18 [ I]
- 20. x x 11, 19 [ I]
` x x.
150 CAPITULO 2. CALCULO DE PREDICADOS
(a) x x.
(b) x x.
(a) xy yx.
(b) xy yx.
(c) yx xy.
Sugestao: demonstre a alnea (b) por reducao ad absurdum usando nas duas
implicacoes a alnea (a) e a negacao da quantificacao; demonstre a alnea
(c) por reducao ad absurdum usando a negacao da quantificacao.
(x x) ` x( )
2.3. AS DEMONSTRACOES 151
entao
1 , . . . , l |=L .
DEM.: Caso contrario existe uma fbf de L tal que e sao demonstraveis
em L. Entao, pela adequacao, e sao validas em L o que e absurdo. 2
Observamos por fim, sem demonstracao, que todo o argumento valido numa
linguagem de primeira ordem L e demonstravel no sistema de deducao na-
tural para o calculo de predicados na linguagem de primeira ordem L.
153