Lgica Matemtica, 2012-2, Teorema da Substituio, Lgica

Proposicional
Marcelino Pequeno
1

1

1 Substituio na Lgica Proposicional

A operao de substituio permite trocar uma letra proposicional que ocorre em uma
frmula, por uma frmula. Os teoremas da substituio que sero estudados abaixo
mostram em que condies a frmula resultante equivalente original. O Teorema da
Substituio (TS) em suas diversas verses ser muito til para facilitar as derivaes
nos sistemas dedutivos.

A operao de substituio, denotada, por
P
o
(onde e so frmulas e P, uma letra
proposicional) definida recursivamente:

Definio Recursiva: Substituio.

(i) uma letra proposicional
Se = P, ento
P
o
= .
Se = P, ento
P
o
= .
(ii) = (1 2)
1
(
P
o
)
2
= (
P
o

1

P
o

2
)
(iii) = (1)
P
o
) (
1
= (
P
o

1
)

Exemplos:

1. = C (P . B)
Tome = A e | = A
P
o
= (C (A . B)
P
|
= (C (A . B)

Podemos generalizar a definio de substituio de modo a substituir uma subfrmula,
, de , por uma frmula, |. Teramos:

Definio:
o
|


(i) Se = , ento
o
|
= |.
(ii) Se no subfrmula de , ento
o
|
= .
(iii) = (1 2)
1
(
o
|
)
2
= (
o
|

1

o
|

2
)
(iv) = (1)
o
|
) (
1
= (
o
|

1
)

Alternativamente, a substituio por subfrmula pode ser obtida observando que dada
uma frmula, , podemos encontrar uma formula , trocando a subfrmula, , de por
uma letra proposicional, P, que no ocorre em , de tal forma que:
o
|
=
P
|
' .
2


Exemplos:

1. = C (A . B)
Tome = A e | = B
o
|
= (C (B . B)

Substituio Simultnea

Podemos ainda definir uma operao de substituio, que substitui vrias letras
proposicionais, P1,...,Pn, que ocorrem em uma frmula, , por frmulas, 1,...,n,
respectivamente, obtendo a frmula,
n
n
P P
o o

1
1
. Deixamos para o leitor definir
recursivamente a operao de substituio simultnea.

Exemplos:

1. = C (P . Q)
Tome = A e | = B
Q P
| o
= (C (A . B)

2 Trs formas do Teorema da Substituio:

1. e | | ento ( |) ( |) e () (); onde {., v, , }.
2. | ento
P
o

P
|
.
3. ento
P
o

P
o


Corolrio.
a) | ento
o
|
.
b) e | ento
P
o

P
|


Generalizao

Os teoremas da substituio tambm valem em suas formas generalizadas:

2. 1 |1, ..., n |n ento
n
n
P P
o o

1
1

n
n
P P
| |

1
1
.
3. ento
n
n
P P
o o

1
1

n
n
P P
o o

1
1


Exemplos:
Considere as equivalncias: A A e B B.
1. (A . B) (A . B)
Aplicao Teo. da Substituio, verso 1 (TS1).

2. C (A . B) C (A . B)
Tome = C (P . B)
Lgica Matemtica, 2012-2, Teorema da Substituio, Lgica
Proposicional
Marcelino Pequeno
3

3

= A e | = A
P
o
' = (C (A . B)
P
|
' = (C (A . B)
O T.S 2 garante a equivalncia das frmulas.
Pode ser garantida ainda pelo Corolrio a) do TS, tomando = C (A . B) e notando
que
o
|
= (C (A . B).

3. C (A . B) C (A . B)
Tome = C (P . Q)
1 = A e |1 = A
2 = B e |2 = B
Q P
2 1
o o
= (C (A . B)
Q P
2 1
| |
= (C (A . B)
O T.S 2 garante a equivalncia das frmulas.

4. (A . B) (B . A)
O TS 3 garante que ((C D) . B) (B . (C D))
Tome = (A . B)
= (B . A)
= (C D)
A
o
= ((C D) . B)
A
o
= (B . (C D))
Prova dos Teoremas

1. e | | ento ( |) ( |) e () (); onde {., v, , }.
Seja I:LP {V, F} uma interpretao. Vamos mostrar que I( |) I( |) e
I() = I().
I( |) = H(I(),I(|))
= H(I(),I(|))
= I( |)
I() = H(I())
= H(I())
= I()

Estamos usando a notao de que as valorizaes das interpretaes so dadas
utilizando as funes, H : {V, F} X {V, F} {V, F} e H : {V, F} {V, F}, definidas por:
H
.
(V,V) = V H
v
(V,V) = V H(V,V) = V H(V) = F
H
.
(V,F) = F H
v
(V,F) = V H(V,F) = F H(F) = V
H
.
(F,V) = F H
v
(F,V) = V H(F,V) = V
H
.
(F,F) = V H
v
(F,F) = F H(F,F) = V

2. | ento
P
o

P
|
.
Vamos provar por induo em .

(i) uma letra proposicional.
Se for P, ento,
P
o
= e
P
|
= |. Mas, por hiptese, |.
4

Se for outra LP, ento,
P
o
=
P
|
=.
(ii) =(12)
Temos que
P
o
= (
P
o

1

P
o

2
) e
P
|
= (
P
|

1

P
|

2
).
E pela Hip. Ind.,
P
o

1

P
|

1
e
P
o

2

P
|

2
.
Pelo Teorema da Substituio 1,
P
o
= (
P
o

1

P
o

2
) (
P
|

1

P
|

2
) =
P
|
.
(iii) =(1)
Temos que
P
o
= (
P
o

1
) e
P
|
= (
P
|

1
).
E pela Hip. Ind.,
P
o

1

P
|

1
.
Pelo Teorema da Substituio 1,
P
o
= (
P
o

1
) (
P
|

1
) =
P
|
.

3. ento
P
o

P
o

Este teorema tem uma prova mais indireta que faz uso do exerccio 8, da seo 1.2 do
livro do Enderton, p.28.

8. (Substitution) Consider a sequence
1
,,
n
of wffs. For each wff let * be the result of replacing
the sentence symbol A
n
, by
n
, for each n.
(a) Let v be a truth assignment for the set of all sentence symbols;
define u to be the truth assignment for which u(A
n
,) = v(
n
).
Show that u() = v(*). Use the induction principle.
(b) Show that if is a tautology, then so is *.

(For example, one of our selected tautologies is ((A . B) (B . A)). From this we can conclude, by
substitution, that (( . |) (| . )) is a tautology, for any wffs and |.)

Este exemplo uma aplicao do nosso teorema 3, que mostra que como
(A . B) (B . A), ento,

( . |)=
B
| o
A
B) (A.
B
| o
A
A) (B. =(| . )

Mas, para us-lo temos que prov-lo.

Parte a) A prova uma induo simples.
Vou generalizar um pouquinho a formulao do Enderton e dizer que, a interpretao, u,
pode diferir de v, somente nas letras proposicionais, A1,...,An.

(i) uma letra proposicional.
Se for um dos Ai, ento,
*
= i e u(Ai) = v(i), por construo
Se for uma LP, P= A
i
, ento
*
= = P, e u(P) = v(P).
(ii) =(12)
Por Hip. Ind.: u(1) = v(1
*
) e u(2) = v(2
*
).

*
=(1
*
2
*
).
u() = H(u(1),u(2))
= H(v(1
*
),v(2
*
))
= v((1
*
2
*
))
= v(
*
).
(iii) =(1)

Por Hip. Ind.: u(1) = v(1
*
).
Lgica Matemtica, 2012-2, Teorema da Substituio, Lgica
Proposicional
Marcelino Pequeno
5

5

*
=(1
*
).
u() = H(u(1))
= H(v(1
*
))
= v(1
*
)
= v(
*
).

Parte b) consequncia direta da parte a).
Seja v:LP {V,F} uma interpretao.
v(
*
)=u(), para alguma interpretao, u. Mas, como uma tautologia, u()=V.

Prova de 3) ento
P
o

P
o

Na realidade, o exerccio permite mostrar, a forma generalizada:
3: ento
n
n
P P
o o

1
1

n
n
P P
o o

1
1

implica que ( ), logo, pelo exerccio,
n
n
P P
o o

1
1
) ( .
Portanto, (
n
n
P P
o o

1
1

n
n
P P
o o

1
1
).
Logo,
n
n
P P
o o

1
1

n
n
P P
o o

1
1
.

Prova do Corolrio

Corolrio.
a) | ento
o
|
.
Basta notar que posso encontrar uma frmula , trocando por uma LP que no ocorre
em , P, de tal modo que =
P
o
' e
o
|
=
P
|
' . Agora s aplicar a verso 2 em .
b) e | ento
P
o

P
|
.
Por 3, implica
P
o

P
o
e por 2,
P
o

P
|
.
Logo, por transitividade da equivalncia,
P
o

P
|
.

3 Teorema da Substituio - Sinttico:

A noo de equivalncia de frmulas tambm pode ser definida sintaticamente, e por
consequencia, podemos ter as verses sintticas do teorema da substituio.

Definio: As frmulas e so sintaticamente equivalentes sse e ,
denotaremos por .

Teoremas da Substituio Sintticos

1. e | | ento ( |) ( |) e () (); onde {., v, , }.
2. | ento
P
o

P
|
.

6

Prova dos Teoremas da Substituio Sintticos

Prova de 1): e | | ento ( |) ( |) e () ().
Temos que fazer uma prova diferente para cada conectivo.
Vamos primeiro provar para a negao.
1.1 Se ento .
1. Prem
2.1 ' Suposio
2.2 Lema ; 2.1
2.3 (-I) 2.1 e 1
2 (-I) Subprova 2

1.2 e | | ento ( . |) ( . |)
1. . | Prem
2.1 ' Suposio
2.2 Lema Substituio 1.1;2.1
2.3 (.-E) 1
2.4 (-I) 2.3 e 2.2
2 ' (-E) Subprova 2
3.1 | Suposio
3.2 | Lema Substituio 1.1; 3.1
3.3 | (.-E) 1
3.4 (-I) 3.3 e 3.2
3 | (-E) Subprova 3
4 . | (.-I) 2 e 3

1.3 e | | ento ( v |) ( v |)
1. v | Prem
2.1 (' v |) Suposio
2.2 . | Lema De Morgan 2.1
2.3 (.-E) 2.2
2.4 | (.-E) 2.2
2.5 Lema Substituio 1.1; 2.3
2.6 | Lema Substituio 1.1; 2.4
2.7 ( . |) (.-I) 2.5 e 2.6
2.8 ( v |) Lema volta De Morgan 2.7
2.9 (-I) 1 e 2.8
3 ' v | (-E) Subprova 2

1.4 e | | ento ( |) ( |)
1. | Prem
2.1 ' Suposio
2.2 Lema ; 2.1
2.3 | (-E) 2.2 e 1
2.4 | Lema | |; 2.3
2 ' | (-I) Subprova 2

Lgica Matemtica, 2012-2, Teorema da Substituio, Lgica
Proposicional
Marcelino Pequeno
7

7

Prova de 2): Se | ento
P
o

P
|
.
Prova por induo em , usando o teorema anterior.

(i) uma letra proposicional
Se = P, ento
P
o
= , e
P
|
= |; e, por hiptese, |.
Se = P, ento
P
o
=
P
|
= .
(ii) = (1 2)
H.I 1:
P
o

1

P
|

1

H.I 2:
P
o

2

P
|

2

TQM:
1
(
P
o
)
2

1
(
P
|
)
2

1
(
P
o
)
2
= (
P
o

1

P
o

2
)
1
(
P
|
)
2
= (
P
|

1

P
|

2
)
Como, pelas H.I 1 e 2,
P
o

1

P
|

1
e
P
o

2

P
|

2
, ento, pelo teorema sinttico 1,
1
(
P
o
)
2
= (
P
o

1

P
o

2
) (
P
|

1

P
|

2
) =
1
(
P
|
)
2
.

(iii) = (1)
H.I:
P
o

1

P
|

1

TQM:
P
o
) (
1

P
|
) (
1

P
o
) (
1
= (
P
o

1
)
P
|
) (
1
= (
P
|

1
)
Como, pelas H.I,
P
o

1

P
|

1
, ento, pelo teorema sinttico 1, (
P
o

1
) (
P
|

1
).
Logo,
P
o
) (
1
= (
P
o

1
) (
P
|

1
) =
P
|
) (
1
.

4 Aplicaes do Teorema da Substituio

O teorema da substituio muito til para facilitar as derivaes lgicas,
principalmente nos sistemas axiomticos, embora tambm seja til em deduo natural.

Vamos ver como seria a derivao desta verso de uma lei de De Morgan:
(A . B) A v B.

Em deduo natural relativamente simples.

Usaremos os seguintes lemas:
1. (A v B) A . B
2. ((A v B)) (A . B) (Mesmo anterior se aplicando o teo. da deduo)
3. A A

(A . B) A v B (DN)
2. (A . B) Prem
8

4.1 (A v B) Suposio
4.2 A . B Lema 1; 2.1
4.3 A (.-E) 2.2
4.4 B (.-E) 2.2
4.5 A Lema 2; 2.3
4.6 B Lema 2; 2.4
4.7 A . B (.-I) 2.5 e 2.6
4.8 (-I) 2.7 e 1

Entretanto esta derivao se mostra extremamente complicada quando feita no sistema
axiomtico L10, mesmo com o auxlio de mais alguns lemas:

4. ( ) (( ) )
(Este uma variao do Axioma 9 de reduo ao absurdo).
5. ( . o) ( ) . ( o)
(Permite distribuir a implicao na conjuno).
6. ( ) . ( o) ( . o)
(este faz o reverso do axioma anterior)
7. ( ), ( o) o
(Transitividade da implicao)

(A . B) A v B (L10)
1. (A . B) Prem
2. ((A v B) (A . B)) (((A v B) (A . B)) (A v B)) Lema 4
3. (A v B) (A . B) Lema 2
4. ((A v B) A ) . ((A v B) B) Lema 5; 3
5. (((A v B) A ) . ((A v B) B)) ((A v B) A ) Ax3
6. ((A v B) A) MP 4 e 5
7. (((A v B) A) . ((A v B) B)) ((A v B) B ) Ax4
8. ((A v B) B) MP 4 e 7
9. A A Lema 3 (aplicando o TD)
10. ((A v B) A) Lema 7; 6 e 9
11. B B Lema 3 (aplicando o TD)
12. ((A v B) B) Lema 7; 8 e 11
13. ((A v B) A) (((A v B) B) (((A v B) A) . (((A v B) B))
Ax.5
14. (((A v B) B) (((A v B) A) . (((A v B) B)) MP 10 e 13
15. (((A v B) A) . (((A v B) B)) MP 12 e 14
16. (((A v B) (A . B)) Lema 6; 15
17. (((A v B) (A . B)) (A v B)) MP 16 e 2
18. (A . B) (((A v B) (A . B)) Ax.2
19. (((A v B) (A . B)) MP 1 e 18
20. (A v B) MP 19 e 17

Convenhamos que esta prova seria muito mais simples se usssemos a verso 2
(Generalizada) do teorema da substituio. Vamos utilizar os lemas que:

A A e B B.

Lgica Matemtica, 2012-2, Teorema da Substituio, Lgica
Proposicional
Marcelino Pequeno
9

9

(A . B) A v B (L10)
1. (A . B) Prem
2. ((A v B) (A . B)) (((A v B) (A . B)) (A v B)) Lema 4
3. (A v B) (A . B) Lema 2
4. (((A v B) (A . B)) Teo Substit. verso 2 Generalizada; 3
5. ((A v B) (A . B)) (A v B) MP 4 e 2
6. (A . B) (((A v B) (A . B)) Ax.2
7. (((A v B) (A . B)) MP 1 e 6
8. (A v B) MP 7 e 5