Deducao formal proposicional

Fernando Ferreira

1. ( );

ho

Uma forma tradicional de gerar as tautologias consiste em deduzi-las no ambito dum sistema
de deduc
ao formal. No que se segue apresentamos um sistema de deducao `a Hilbert em que, por
motivos de economia, nos confinamos aos conectivos e (como vimos, tal nao constitui uma
restric
ao real). O sistema consiste em tres axiomas esquema logicos e uma regra de deducao. Os
axiomas esquemas s
ao:

2. ( ( )) (( ) ( ));

un

3. ( ) (( ) ).

O car
acter esquem
atico dos axiomas advem do facto de cada um deles ser, na realidade, constitudo por uma infinidade de f
ormulas (pois e sao formulas quaisquer). Note-se que os axiomas
l
ogico s
ao tautologias. A regra de deducao e o Modus Ponens:
De e infere-se .

ra
sc

Defini
c
ao 1. Seja um conjunto de f
ormulas duma dada linguagem do c
alculo proposicional.
Uma deduc
ao duma f
ormula a partir de e uma sequencia finita de f
ormulas 1 , . . . , n em que
n e a f
ormula e tal que, para todo i n, (a) i e um axioma l
ogico ou i ; ou (b) existem
j, k < i de tal modo que k e a f
ormula j i (Modus Ponens). Diz-se que e consequencia
formal de , e escreve-se ` , se existir uma deduc
ao de a partir de .
A propriedade (a) abaixo e imediata, enquanto as outras duas argumentam-se facilmente atraves
de apropriadas concatenac
oes de deducoes formais.
Proposi
c
ao 1. O seguinte e verdade:
(a) Se ` e ent
ao ` .

(b) Se ` e ` ent
ao ` .

(c) Se {1 , . . . , n } ` e, para cada i n, ` i ent

ao ` .

Como iremos ver, toda a tautologia e consequencia formal do conjunto vazio de formulas
(escreve-se ` em vez de ` ). N
ao obstante, o sistema acima nao e agradavel para se fazer
deduc
oes. Como exemplo, damos uma deducao de cinco passos de (4) :
i. (( ) ), pelo axioma logico do tipo 1;
ii. ( (( ) )) (( ( )) ( )), pelo axioma logico do tipo 2;
iii. ( ( )) ( ), por Modus Ponens a partir de (i) e (ii);

iv. ( ), pelo axioma l

ogico do tipo 1;
v. , por Modus Ponens a partir de (iii) e (iv).
Teorema da Correc
c
ao do C
alculo Proposicional. Seja um conjunto de f
ormulas e uma
f
ormula. Se ` ent
ao |= .
Demonstra
c
ao. Suponhamos que 1 , . . . , n e uma deducao de a partir de . Tome-se v uma
valorac
ao que torne todas as f
ormulas de verdadeiras. Demonstra-se facilmente, por inducao
completa em i n, que v(i ) = 1. Em particular, v(n ) = 1, i.e., v() = 1. Como se queria.

ho

O recproco do resultado anterior e mais difcil de demonstrar e, para o fazer, necessitamos

de nos assegurar da existencia de algumas deducoes formais. O seguinte resultado e instrumental
nesta tarefa:
Teorema da Dedu
c
ao do C
alculo Proposicional. Se {} ` ent
ao ` .

un

Demonstra
c
ao. Seja 1 , . . . , n uma deducao de a partir de {}. Mostramos, por inducao
completa em i n, que ` i . O caso i = n da-nos o resultado desejado. Seja dado i n.
Se i e axioma l
ogico ou i , e claro que ` i . Pelo primeiro axioma logico e Modus Ponens
conclui-se que ` i . Se i e a formula sai, por (4), ` i . Resta analisar o caso de
i decorrer duma aplicac
ao da regra de Modus Ponens. Sejam j, k < i com k a formula j i .
Por hip
otese de induc
ao tem-se ` j e ` (j i ). Obtem-se uma deducao de
i a partir de concatenando deducoes de j e (j i ) com os tres seguintes
passos:

( (j i )) (( j ) ( i )),
( j ) ( i ), i .

ra
sc

A primeira f
ormula acima e um axioma e as duas u
ltimas obtem-se por aplicacoes de Modus
Ponens.
Corol
ario 1. Tem-se:

5. ` ( ) (( ) ( ));

6. ` ;

7. ` ( );

8. ` ( ) (( ) );
9. ` ;

10. ` ( ( ));

11. ` ( ) ( );
12. ` ( ) (( ) ).
Demonstra
c
ao. Tem-se claramente { , , } ` atraves de duas aplicacoes de Modus
Ponens. Tres aplicac
oes do teorema da deducao permitem concluir (5). Para ver (6) observe-se que
{} ` (pelo primeiro axioma) e que, por (4), {} ` . Agora aplique-se
o terceiro axioma para concluir {} ` . O resultado sai pelo teorema da deducao. Argumentase facilmente {, } ` usando (essencialmente) o primeiro e terceiro axiomas. Agora (7) sai
2

pelo teorema da deduc

ao. (8) e consequencia do terceiro axioma e de (5) e (6) (e do teorema da
deduc
ao). Com efeito, { } ` e { } ` por (5) e (6). Logo,
pelo terceiro axioma e Modus Ponens (duas vezes), { , } ` . Duas aplicacoes
do teorema da deduc
ao permitem concluir (8). Da hipotese pode concluir-se e, claro,
. Logo, por (8), conclui-se {} ` . Pelo teorema da deducao, vem (9). Tem-se
claramente {} ` ( ) e {} ` ( ) . Portanto, por (8), {, } ` ( ).
(10) sai de duas aplicac
oes do teorema da deducao. Quanto a (11), note-se que { , } `
atraves de (8). O resultado sai pelo teorema da deducao. Por (11) tanto se deduz como
a partir de { , }. Logo, pelo terceiro axioma, { , } ` .
(12) segue-se do teorema da deduc
ao.

ho

Dada uma f
ormula e uma valoracao v define-se a formula v da seguinte maneira:


se v() = 1
v
=
se v() = 0
Lema 1. Seja uma f
ormula e p1 , . . . , pn as letras proposicionais que nela ocorrem. Para toda a
valorac
ao v tem-se {pv1 , . . . , pvn } ` v .

ra
sc

un

Demonstra
c
ao. Fixe-se v uma valoracao. Demonstra-se por inducao na complexidade de que
ao as letras proposicionais que ocorrem em . O caso em que
{pv1 , . . . , pvn } ` v , onde p1 , . . . , pn s
e uma letra proposicional e imediato. Suponhamos que e . Caso v() = 1 tem-se, por hipotese
de induc
ao, {pv1 , . . . , pvn } ` . Logo, por (9), {pv1 , . . . , pvn } ` . Ora v() = 0 e, portanto, v e
. O caso v() = 0 ainda e mais imediato. Resta estudar o caso em que e um condicional
. Se v() = 0 ou v() = 1, tem-se v = . Por hipotese de inducao ou se deduz ou se
deduz a partir de {pv1 , . . . , pvn }. Mas, entao, tambem se deduz , por causa de (respectivamente)
(7) e do primeiro axioma. Finalmente, suponhamos que v() = 1 e v() = 0. Por hipotese de
induc
ao, deduzem-se e a partir de {pv1 , . . . , pvn }. Por (10) tambem se deduz ( ), i.e.,
v
.
Proposi
c
ao (Completude Fraca do C
alculo Proposicional). Se e uma tautologia, ent
ao
` .
Demonstra
c
ao. Suponhamos que a formula e uma tautologia e sejam {p1 , . . . , pn } as letras
proposicionais que nela ocorrem. Mostramos, por inducao simples em j n que, para toda a
valorac
ao v, se tem
{pv1 , . . . , pvnj } `

onde na notac
ao se subentende que nao ha premissas no caso j = n. Alias, a conclusao da
proposic
ao e precisamente este caso. O caso base j = 0 e o lema anterior. Seja dado j < n e
considere-se v uma valorac
ao ao arbtrio. Definem-se duas valoracoes v0 e v1 exactamente como v
excepto que v0 (pnj ) = 0 e v1 (pnj ) = 1. Por hipotese de inducao tem-se:
{pv0 , . . . , pvn(j+1) , pnj } `

{pv0 , . . . , pvn(j+1) , pnj } ` .

Por (12) e o Teorema da Deduc
ao, conclui-se {pv0 , . . . , pvn(j+1) } ` , conforme ao passo de inducao.
Teorema da Completude do C
alculo Proposicional. Seja um conjunto de f
ormulas e
uma f
ormula. Se |= ent
ao ` .
3

ra
sc

un

ho

Demonstra
c
ao. Admitamos |= . Pelo teorema da compacidade existem formulas 1 , . . . , n
em tais que {1 , . . . , n } |= . Daqui sai imediatamente que 1 (2 . . . (n ) . . .) e
uma tautologia. Logo, por completude fraca, ` 1 (2 . . . (n ) . . .). Aplicando n vezes
Modus Ponens tem-se, claramente, {1 , . . . , n } ` . O resultado segue-se.