Escolar Documentos
Profissional Documentos
Cultura Documentos
(Notas de Aula)
1
Ao escrevermos as frmulas de P, adotaremos a conveno de eliminar os
parnteses externos, escrevendo p q em vez de (p q). Isso posto, podemos
introduzir outros smbolos por denies abreviativas, do seguinte modo:
p q =def (p q)
p q =def p q
p q =def (p q) (q p).
(P1) p p p
(P2) p p q
(P3) p q q p
(P4) (p q) (r p r q).
p, pq
(MP Modus Ponens) q
(D1) p q =def (p q)
(D2) p q =def p q
2 Na verdade, tratam-se de esquemas de axiomas, j que estamos usando variveis metalin-
gusticas em sua formulao. Os axiomas propriamente ditos so obtidos mediante substituio
das letras p, q , etc. por frmulas nas quais gurem apenas smbolos do alfabeto bsico .
2
(D3) p q =def (p q) (q p).
(RD Regra Definicional) Se r abrevia s de acordo com uma
das denies anteriores, ento r e s podem ser intercambiadas
em qualquer frmula.
3
Leis Associativas
p (q r) (p q) r p (q r) (p q) r
, , ,
(p q) r p (q r) (p q) r p (q r)
Bicondicional
p q p q p q, q p
, ,
pq qp pq
Autodedutibilidade
p
p
Leis de De Morgan
pq pq (p q) (p q)
, , ,
(p q) (p q) p q p q
Silogismo Disjuntivo
pq, p r, q s
rs
Contraposio
p q p q
,
q p q p
Substituio por equivalentes
, p ` q, p r
, r ` q
4
` (p q) ((p q) p) (reduo ao absurdo intuicionista), ` p p
(dupla negao), ` p p q (regra de adio), ` p (p q) ('uma falsa
proposio implica qualquer outra'), ` (p q) (q p) (til na prova de
que uma proposio p implica uma proposio q , mostrando-se que a negao
de q implica a negao de p), ` q (p q) ('uma proposio verdadeira
implicada por qualquer proposio'), ` (p q) (p q) (regra de De
Morgan), ` (p p) (lei da contradio), ` (p p) q (lei de Duns Scotus,
ou 'de uma contradio tudo se segue').
Vejamos mais um exemplo: provaremos que ` p p (ou seja, o princpio
do terceiro excludo um teorema de P). Para isso, vamos admitir que j
tenhamos provado que p p um teorema desse sistema. Considermos ento
a seguinte 'prova': (1) a prova de p p; (2) p q q p (postulado P3); (3)
(pq) (qp) (da anterior, substituindo-se p por p); (4) (pp) (pp)
(da anterior, substituindo-se q por p); (5) p p (teorema j demonstrado); (6)
p p (da anterior, tendo em vista a denio de ); (7) p p (de (4) e (6),
por Modus Ponens).4 Note que a sequncia de frmulas (1)(6) obedece todos
os requisitos da denio de prova dada anteriormente.
Um exemplo de uma derivao em P a partir de um conjunto de premissas
o seguinte. Seja = {p, p q, q r}. Mostraremos que ` r. Com efeito,
temos: (1) p (est em ); (2) p q (idem); (3) q (de 1 e 2, por Modus Ponens);
(4) q r (pertence a ); (5) r (de 2 e 4, por Modus Ponens). Um outro exemplo
importante o o que segue. Admita que em tenhamos duas frmulas contra-
ditrias, da forma p e p. Provaremos que pode-se derivar qualquer frmula q
a partir de um tal (os antigos diziam "ex falso seguitur quodlibet ", algo como
"de uma falsidade tudo se segue" (recorde a lei de Duns Scotus mencionada
acima). A 'falsidade' aqui referida sendo a frmula p p, que pode ser inferida
a partir de p e de p pela regra derivada de adjuno vista anteriormente. A
derivao a seguinte, na qual somente mencionamos alguns 'teoremas de P',
sem acrescentar suas provas:
1. p Pertence a
2. p Idem
3. p (q p) Teorema de P
4. p (q p) Idem
5. q p 2, 3, MP
6. q p 1, 4, MP
7. (q p) ((q p) q) Teorema de P
8. (q p) q 6, 7, MP
9. q 5, 8, MP
4 Uma prova de p p a seguinte, cujas justicativas deixamos a cargo do leitor: (1)
(p q) (rp rq); (2) (p q) (rp rq); (3) (p q) ((r p) (r q));
(4) ((p p) q) ((r (p p)) (r q)); (5) ((p p) p) ((r (p p)) (r p));
(6) ((p p) p) ((p (p p)) (p p)); (7) p p p; (8) (p p p) (p p); (9)
p p q ; (10 p p p; (11) p p.
5
A importncia deste resultado ser explorada no captulo sobre lgicas no-
clssicas, quando falaremos das lgicas no-clssicas. Por ora, suciente saber-
mos que a prova acima estabelece que, se tivermos premissas contraditrias, ou
se em um sistema dedutivo fundado na lgica clssica, chegarmos a proposies
(teoremas) contraditrios, poderemos derivar em tal sistema qualquer expresso
bem formada de sua linguagem como teorema. por esse motivo, essencial-
mente, que havia, pelo menos at meados do sculo passado, um 'horror s
contradies'.
Algumas das principais propriedades do operador ` so as seguintes, algumas
das quais sero provadas mais tarde:
[Teorema da Deduo] , p ` q ` p q .
6
proceder do seguinte modo: assume p como 'premissa adicional' e obtm uma
derivao de q a partir desse conjunto aumentado. Ento, o teorema da deduo
garante que a prova procurada existe, sem que o matemtico necessite exib-la
explicitamente.
1 Semntica
Seja V um conjunto qualquer de variveis proposicionais. Vamos denir uma
aplicao (dita valorao , ou interpretao ) de V no conjunto {0, 1}.5 Os
objetos 0 e 1 so ditos valores-verdade, e a nica coisa que importa que sejam
distintos. Em vez de 1 e 0, poderamos ter escrito V e F, como usualmente se faz
nos livros introdutrios de lgica. Escolheremos 1 para ser o valor distinguido,
que intuitivamente representar o verdadeiro, enquanto que 0 representar o
falso. O valor (X), para X V , dito valor-verdade de X . Se (X) = 1,
dizemos que X verdadeira com respeito valorao v , e que falsa em caso
contrrio (ou seja, se (X) = 0).
Se V 0 o conjunto das frmulas de L gerado a partir das frmulas do conjunto
V , ento podemos denir uma aplicao 0 de V 0 em {0, 1} do seguinte modo:7
6
7
(p q) = (p) u (q)
(p q) = ((p)) t (q)
(p q) = (((p)) t (q)) u ((p) t ((q)) )
|= p.
Neste caso, dizemos que p uma tautologia. Outro caso de interesse quando
nenhuma valorao satisfaz ; neste caso, |= p para toda p. Por exemplo,
tomemos = {q, q}, que no satisfeito por nenhuma valorao (este resultado
tem uma contraparte sinttica que ser vista frente. Se p no satisfeita por
nenhuma valorao, dizemos que p uma contradio , como por exemplo q q .
Escrevemos p |= q para denotar que {p} |= q , e diremos que p implica tauto-
logicamente q . Se p |= q e q |= p, ento p e q so tautologicamente equivalentes ,
como por exemplo, (p q) e p q , como fcil vericar.
Mediante o conceito de valorao, pode-se provar a existncia de um procedi-
mento efetivo (um algoritmo) para se saber, dados um conjunto = {1 , . . . , n }
de frmulas e uma frmula , se
|=
8
A B
1 1 1
2 1 0
3 0 1
4 0 0
1 (A B) = 1 (A) t 1 (B)
= (1 (A)) t 1 (B)
= 1 t 1
= 0t1
= 1
2 (A B) = 2 (A) t 2 (B)
= 0t0
= 0
A B A B AB
1 1 1 1
1 0 0 0
0 1 1 1
0 0 1 1
9
Se atentarmos para a denio precendente, podemos obter facilmente as
seguintes tabelas-verdade (cada linha representa uma valorao diferente):
A A
1 0
0 1
A B AB AB AB AB
1 1 1 1 1 1
1 0 0 1 0 0
0 1 0 1 1 0
0 0 0 0 1 1
A tabela do condicional A B expressa a distino da 'implicao material'
e a noo intuitiva de 'acarreta'. Com efeito, o condicional material que estamos
usando capta a seguinte noo, atribuda a Filo de Mgara, que segundo consta
dizia que um verdadeiro condicional aquele que no tem um antecendente
verdadeiro e um conseqente falso [?, p. 203]. Assim, a sentena "Se 1 + 1 = 5,
ento 4 um nmero primo" verdadeira em virtude do seu antecedente ser
falso (linha 3 da tabela).
Isso faz com que tenhamos que ter cautela se quisermos aplicar a lgica
proposicional (ou qualquer outro sistema) linguagem natural. Os conectivos
lgicos no captam totalmente o signicado dos correspondentes nas linguagens
naturais. H sentido em se armar que '1 = 1 = 5 4; primo' verdadeira,
mas a 'traduo' desta sentena para a linguagem natural, como indicada no
parggrafo precedente, parece bastante estranha.
10
uma tautologia, teorema de P. Temos portanto um procedimento adequado
(e efetivo) para saber se uma dada frmula um teorema de P e resolver o
problema da decidibilidade deste clculo.
Com efeito, mediante o uso de tabelas-verdade, podemos determinar (em um
nmero nito de passos, pois a tabela sempre tem um nmero nito de linhas)
se uma dada frmula ou no uma tautologia; basta que obtenhamos a sua
tabela-verdade. Se a frmula assumir valor-verdade 1 para toda valorao (ou
seja, em todas as linhas), ento ela uma tautologia, e portanto um teorema
do cpc. Se s contiver zeros, uma contradio (e, tendo zeros e uns, dita ser
uma contingncia ).
Uma lista til de (esquemas de) tautologias (logo, de teoremas do cpc) a
seguinte:
1. p q q p (comutatividade da disjuno)
2. p q q p (comutatividade da conjuno)
3. (p q) (q p) (comutatividade do bicondicional)
4. (p (q r)) (q (p r))
5. p p p (idempotncia, 1)
6. p p p (idempotncia, 2)
7. p p (terceiro excludo)
8. (p p) (no-contradio)
9. p p (dupla negao)
10. (p q) p q (lei de De Morgan)
11. (p q) p q (lei de De Morgan)
12. p p (lei proposicional da identidade,1)
13. p p (lei proposicional da identidade,2)
14. ((p q) p) p (lei de Peirce)
15. (p (q r)) ((p q) (p r)) (distributividade de em
relao a )
16. (p (q r)) ((p q) (p r)) (distributividade de em
relao a )
17. (p q) (q p) (contraposio)
18. (p p) p (reduo ao absurdo, 1)
19. (p p) p (reduo ao absurdo, 2)
20. ((p q) (r r)) (p q) (reduo ao absurdo, 3)
21. ((p q) p) (p q) (reduo ao absurdo, 4)
21. (p q) (p q) p) (reduo ao absurdo intuicionista)
22. (p q) ((p q) p) (reduo ao absurdo clssica)
23. (p q) (p q) (relao entre e )
24. (p q) (p q) (relao entre e )
11
25. (p q) p q (lei de Filo)
26. (p q) (p q) (relo entre e )
27. (p q) (p q) (q p) (relao entre e )
28. (p >) p (onde > qualquer tautologia)
29. (p >) > (idem)
30. (p ) p (onde qualquer contradio)
31. (p ) (idem)
12
Com efeito, em portugus, as sentenas 'Paulo casou com Maria e teve lhos'
no equivalente a 'Paulo teve lhos e casou com Maria'. Da mesma forma,
'Paulo vai pescar ou vai ao cinema' no pode ser simbolizado por P C , pois
neste caso esta frmula seria verdadeira caso ambas, P e C fossem verdadeiras,
mas supe-se que Paulo no possa ir ao cinema e pescar ao mesmo tempo.
Da mesma forma, uma expresso como 'Se 1+1=7, ento Florianpolis
capital da Frana' seria verdadeira se a simbolizssemos por p q , posto que o
antecedente falso, mas no contexto da linguagem natural, uma armao como
essa seria certamente taxada como sem sentido. O clculo P uma pequena
parte da lgica clssica, que foi erigida para nalidades de fundamentao da
matemtica. Por exemplo, na geometria plana, a armao 'Se A e B so pontos
distintos ento h uma nica reta que os contm' seria verdadeira se existisse
um nico ponto, uma vez que isso faria com que o antecedente fosse falso. Este
artifcio, a saber, de concluir que uma certa proposio verdadeira porque
o antecedente deixa de ser satisfeito, muito usada na matemtica clssica, e
recebe o nome de prova por vacuidade.
Assim, ainda que no nos alonguemos no assunto, ca o alerta: deve-se
ser extremamente cauteloso quando se for usar a notao lgica e esquemas de
inferncia de clculos como P para anlises em contextos envolvendo a linguagem
natural. O melhor, em cursos iniciais, dar exemplos em matemtica, para a
qual o clculo foi construdo.
13
dadeiras. Caso contrrio, semanticamente inconsistente. O conjunto pode
muito bem ser a coleo de axiomas do clculo P, como o caso de particular
interesse aqui.
fcil constatar que P (ou seja, que o seu conjunto de axiomas) consistente,
tanto sintatica quanto semanticamente. Com efeito, fcil ver que cada um dos
axiomas de P uma tautologia, e que as regras de inferncia, quando aplicadas
a tautologias, conduzem a tautologias. Assim, todos os teoremas desse clculo
so tautologias. Este resultado chamado de teorema da correo (soundness )
deste clculo. Como nenhuma tautologia pode ser negao de uma tautologia
(pois ambas tm que ser sempre verdadeiras), vem que no existir frmula p
tal que tanto ela como sua negao sejam ambas teoremas de P.
Isso posto, podemos reformular o Teorema da Completude do cpc incorpo-
rando a sua correo, do seguinte modo (o sentido dos smbolos tal como
acima):
` se e somente se .
Em particular, ` se e somente se . J vimos que o as tabelas-verdade
fornecem um mtodo de deciso para P. Assim, este clculo decidvel, no sen-
tido de existir um procedimento efetivo (um algoritmo) que permita dizer, em
um nmero nito de etapas, se uma dada frmula ou no um teorema do cl-
culo (basta fazer a tabela-verdade e vericar devido ao teorema da completude
se ou no uma tautologia). De maneira mais geral, um sistema axiomtico
S decidvel se existe um procedimento efetivo (um algoritmo)13 que permita
determinar, dada uma frmula p, se S ` p ou S ` p.
Uma forma de provar a consistncia sinttica de P a seguinte. Vimos
acima que se p e p forem derivveis de um conjunto de frmulas, todas as
frmulas da linguagem de P sero igualmente derivveis desse mesmo conjunto
(trivializao). Portanto, se houver pelo menos uma frmula da linguagem de
P que no seja teorema deste clculo, ele consistente. Podemos apresentar
uma innidade delas; por exemplo, p q no teorema de P (pois no uma
tautologia).
4 Algebrizao do cpc
Finalmente, vejamos como se pode tratar o clculo P de um outro ponto de vista,
o algbrico. Chamamos de P a coleo de todas as frmulas de P. Denamos
sobre P a seguinte relao : sendo p e q frmulas quaisquer, ento14
p q ` p q.
14
Algebrizao 15
P =def hP/ , , t, u, 0, 1i
5 Conectivos adequados
O leitor pode pular esta seo se desejar, voltando a ela depois que tiver lido o
Apndice A sobre lgebras de Boole.
Uma funo booleana n-ria uma aplicao (funo) de {0, 1}n em {0, 1}
(dotado de uma estrutura de lgebra de Boole). Se p uma frmula cu-
jas variveis proposicionais ocorrem entre A1 , . . . , An , seja v valorao tal que
v(Ai ) = xi , xi {0, 1}, i = 1, . . . , n. A partir de p podemos denir uma funo
booleana fp n-ria pondo
fp (x1 , . . . , xn ) = v(p)
Exemplo 5.1
Para xi {0, 1}, i = 1, . . . , n, denimos Iin (x1 , . . . , xn ) = xi .
Seja p a frmula A. Ento pomos fp : {0, 1} {0, 1} como fp (xi ) =
v(p) = v(A) = (v(A)) (na lgebra de Boole). Em palavras, fp `troca' o
valor-verdade que v assinala a A.
Seja p a frmula q r. Denimos fp : {0, 1}2 {0, 1} pondo fp (x1 , x2 ) =
(I12 (x1 , x2 )) t I22 (x1 , x2 ).
Neste ltimo caso, note que se x1 e x2 denotam os valores-verdade de q e r
respectivamente, ento a tabela abaixo (de fp ) reproduz elmente a de q r:
x1 x2 x3 f (x1 , x2 , x3 )
1 1 1 0
1 1 0 1
1 0 1 1
1 0 0 0
0 1 1 1
0 1 0 1
0 0 1 0
0 0 0 1
O problema interessante estabelecer o inverso: dada uma tal tabela, achar
uma frmula que tenha tal tabela como tabela-verdade. Essa questo foi re-
solvida por E. Post em 1921, e ser visto abaixo.
O Teorema de Post 17
L1 A1 A2 A3
L2 A1 A2 A3
L3 A1 A2 A3
L4 A1 A2 A3
L5 A1 A2 A3
L6 A1 A2 A3
L7 A1 A2 A3
L8 A1 A2 A3
p q p q pp p p pq p q
1 1 0 0 1 0 1 0
1 0 0 1 1 0 0 1
0 1 1 0 1 0 0 1
0 0 1 1 1 0 1 0
(1) p q p
(2) p p q
(3) p q q p
(4) p (q r) q (p r)
(5) (p q) (r p r q)
Outras axiomticas 20
Em 1926, Paul Bernays mostrou que o axioma (4) pode ser derivado dos de-
mais; os restantes so equivalentes aos postulados que utilizamos na formulao
do nosso clculo P.
(1) p (q p)
(3) (p q) ((p q) p)
(1) p (q p)
(4) (p q) (q p)
(5) p p
(6) p p
(2) p p
(3) p (p q)
Outras axiomticas 21
(1) p (q p)
(3) p q p
(4) p q q
(5) p (q (p q))
(6) p p q
(7) q p q
(9) (p q) ((p q) p)
(10) p p
p q pq p|q
1 1 0 0
1 0 1 0
0 1 1 0
0 0 1 1
p q =def (p q),
nica situao em que ela poder ser falsa ser no caso dos dois ocuparem o
cargo.
O outro conectivo, anegao alternativa (Mendelson 1997, p. 24) o 'oposto'
do , e expressa o usual "nem p e nem q " como em "Nem Antonio e nem Carlos
ocuparo a direo da revista". Analogamente ao caso anterior, este conectivo
pode ser denido assim:
p|q =def (p q)).
Constata-se facilmente que so tautologias: p (p|p), e que pq ((p|q)|(q|p)).
As denies dadas mostram que os conectivos de Sheer so adequados.
Usando-os, podemos apresentar postulados para um clculo proposicional con-
tendo um nico axioma. Por exemplo, Nicod apresentou em 1917 a seguinte
axiomtica, que tem | como nico conectivo lgico:
(p|(q|r))|((s|(s|s))|((t|q)|((p|t)|(p|t))))
(1) p (q p)
(3) (p q) p
(4) (p q) q
(5) p (q p q)
Outros sistemas 23
(6) p p q
(7) q p q
(9) (p q) ((p q) p)
(10) p (p q)
(11) p p
`K (p q) ((p q) p)
`K p p
`K (p A) p
`K (p p)
`K (p q) (q p)
`K (p q) (p q)
`K (p q) (q p)
`K p p q
`K p (p q)
`K p p
`K p (q p)
`K (p q) ((p (q r)) (p r))
`K p p
`K (p q) (q p)
`K (p q) (q r) (p r)
`K p q, q/p
`K p p, p/q
`K (p q) (F (p) F (q)), onde F (p) representa uma frmula
qualquer na qual ocorre p e F (q) representa a mesma frmula, s que
com a eventual substituio de algumas (ou todas) as ocorrncias de
p por q .
`K (p q) (p p q)
`K p q (p q)
Outros sistemas 24
`K (p q) p q
`K (p q) (p q)
Neste clculo temos ainda o seguinte, que aponta algumas frmulas que no
so teoremas de K :
0K p p (Dupla Negao, um dos lados)
0K p p (Terceiro Excludo)
0K (p p) q (Lei de Duns Scotus)
0K p (p q)
0K ((p q) p) p (Lei de Peirce)
0K p (p q)
Tem-se ainda que p, p 0K q .
Este ltimo resultado tem conseqncias importantes, pois mostra que o
sistema K paraconsistente. Uma lgica paraconsistente se pode servir de
lgica subjacente a sistemas inconsistentes (que tenham teses contraditrias)
mas no triviais (nem toda frmula um teorema). Ou seja, uma contradio
no trivializa K. Isso no entanto j no acontece com a lgica de Brouwer-
Heyting por causa do postulado (10), que equivale Lei de Scotus.
Uma idia bsica relacionada lgica intuicionista a da rejeio das provas
indiretas.19 Na matemtica tradicional, para provar que existe um objeto x
que satisfaa uma certa condio P (x), por exemplo, "existe um nmero par
entre 10 e 14", podemos mostrar que a no existncia de tal x conduz a uma
contradio ou absurdo.
Para Brouwer, no entanto, falando sem muito rigor, a existncia de um
objeto matemtico s pode ser assumida de houver um procedimento mental
para se construir esse objeto. Simplicadamente, podemos dizer que, de acordo
com os intuicionistas, a prova de uma frmula p, como a acima de que existe x tal
que P (x), mostrando que a sua negao p conduz a uma contradio, no pode
ser aceita, pois se de p podemos derivar uma contradio, isso apenas mostraria
que p falsa, mas no que p verdadeira. Do ponto de vista tcnico, isso faz
com que seja preciso rejeitar princpios que valem na lgica clssica, como as leis
da dupla negao (p p) e do terceiro excludo (pp), que no so teoremas
do sistema de Brouwer-Heyting. A lgica intuicionista (ao nvel do clculo de
predicados de primeira ordem, que veremos frente), foi axiomatizada pela
primeira vez por Heyting na dcada de 1930, contrariando Brouwer, o criador
do intuicionismo, para quem a lgica posterior matemtica, que para ele
poderia ser desenvolvida sem a necessidade de se apelar para princpios lgicos.
No entanto, a lgica de Heyting foi posteriormente aceita por ele. Kolmogorov
de certo modo um precursor de Heyting, e queria, sobretudo, provar que a
matemtica clssica poderia ser reinterpretada de um prisma brouweriano, o
que legitimaria tal matemtica intuicionisticamente. I. Johansson tratou do
clculo elaborado por Kolmogorov, denindo a lgica que cou, desde ento,
conhecida como lgica intuicionista minimal.
19 Ainda que as demonstraes detalhadas desses fatos requeiram quanticao, eles nos
sero teis para entender algo do 'modo intuicionista' de pensar.
Outros sistemas 25