ESCOLA ONLINE DE CIÊNCIAS FORMAIS

CURSO DE INTRODUÇÃO À LÓGICA MATEMÁTICA (2) – METALÓGICA DO CÁLCULO

PROPOSICIONAL

AULA 15 – EXTENSÃO E COMPLETUDE DO SISTEMA FORMAL ℒ

Extensão e consistência

Na aula passada, vimos que

 Uma extensão de ℒ é um sistema formal obtido pela alteração ou ampliação do

conjunto de axiomas de ℒ de tal modo que todos os teoremas de ℒ continuam
sendo teoremas deste novo sistema.

 Uma extensão de ℒ é consistente sse não existe fórmula 𝐴 de ℒ tal que ambas
fórmulas 𝐴 e (¬𝐴) sejam teoremas dessa extensão.

 ℒ é consistente.

Nesta aula veremos

 Como obter extensões consistentes

 Completude

Obtendo extensões de ℒ consistentes

METATEOREMA 1: Seja ℒ1 uma extensão consistente de ℒ e 𝐴 uma fórmula de ℒ que

não é teorema de ℒ1 . Então, o sistema ℒ 2 , que é uma extensão de ℒ obtida de ℒ1
incluindo-se a fórmula (¬𝐴) como axioma adicional, é consistente.

Demonstração:

Seja 𝐴 uma fórmula de ℒ que não é teorema de ℒ1 e ℒ 2 um sistema formal obtido como
descrito no metateorema.

Vamos supor por absurdo que ℒ 2 seja inconsistente. Então, pelo resultado da aula 14,
qualquer fórmula é teorema de ℒ 2 , em particular, ⊢ℒ2 𝐴.

Mas ℒ 2 difere de ℒ1 apenas pelo fato de que ℒ 2 possui (¬𝐴) como axioma. Logo, basta
esta nova fórmula em ℒ1 para deduzirmos 𝐴 também, isto é, ¬𝐴 ⊢ℒ1 𝐴. Pelo teorema
da dedução, segue que
⊢ℒ1 (¬𝐴 → 𝐴) (1)

numeroimaginario.wordpress.com
 ESCOLA ONLINE DE CIÊNCIAS FORMAIS
CURSO DE INTRODUÇÃO À LÓGICA MATEMÁTICA (2) – METALÓGICA DO CÁLCULO
PROPOSICIONAL

No exemplo 3 da aula 12, vimos que ⊢ℒ ((¬𝐴 → 𝐴) → 𝐴). Sendo assim, essa fórmula
também deve ser teorema de ℒ1 (pela própria definição de extensão). Logo,

⊢ℒ1 ((¬𝐴 → 𝐴) → 𝐴) (2)

Por MP (aplicado nas fórmulas 1 e 2), obtemos ⊢ℒ1 𝐴, o que contraria o fato de que 𝐴
não é teorema de ℒ1 (fato este estabelecido no início da demonstração). Portanto, a
hipótese de que ℒ 2 é inconsistente é falsa. Logo, ℒ 2 deve ser consistente. ∎

Completude

Será que existe um limite de fórmulas que podemos adicionar como axiomas a uma
extensão de ℒ de forma que se mantenha a consistência dos sistemas (extensões)
obtidos? A resposta é sim.
Para demonstrar este fato, estabelecemos um novo conceito – que é o conceito de
completude:

DEFINIÇÃO 1: Uma extensão de ℒ é completa se, para cada fórmula 𝐴, temos que 𝐴 ou
(¬𝐴) é um teorema da extensão.

Algumas consequências imediatas:

1. O próprio sistema ℒ não é completo, já que, por exemplo, uma variável

proposicional, digamos, 𝑝1 , é uma fórmula bem formada, mas tanto 𝑝1 quanto
(¬𝑝1 ) não são teoremas de ℒ.

2. Qualquer extensão inconsistente de ℒ é completa (Por quê?)

3. Se ℒ 𝑐 é uma extensão consistente e completa de ℒ, então qualquer outra

extensão de ℒ que amplia a classe de teoremas de ℒ 𝑐 é inconsistente. Ou seja,
uma vez que tenhamos um sistema completo (e consistente), não há mais como
ampliar a classe de teoremas sem perder a consistência. Esse fato é
demonstrado no próximo metateorema.

METATEOREMA 2: Se ℒ 𝑐 é uma extensão consistente e completa de ℒ, então qualquer

outra extensão de ℒ que amplia a classe de teoremas de ℒ 𝑐 é inconsistente.

numeroimaginario.wordpress.com
 ESCOLA ONLINE DE CIÊNCIAS FORMAIS
CURSO DE INTRODUÇÃO À LÓGICA MATEMÁTICA (2) – METALÓGICA DO CÁLCULO
PROPOSICIONAL

Demonstração:
Seja 𝐴 uma fórmula que não é teorema de ℒ 𝑐 . Como ℒ 𝑐 é completo, se 𝐴 não é teorema
de ℒ 𝑐 então necessariamente (¬𝐴) é teorema de ℒ 𝑐 . Assim, (¬𝐴) também é teorema de
qualquer possível extensão de ℒ 𝑐 (pela própria definição de extensão).
Logo, se 𝐴 fosse teorema dessa extensão (ou seja, se essa extensão ampliasse a classe
de teoremas de ℒ 𝑐 ), então ele teria tanto 𝐴 quanto (¬𝐴) como teoremas, ou seja, seria
inconsistente. ∎

Na próxima aula veremos que é possível “completarmos” uma extensão consistente de

ℒ.

numeroimaginario.wordpress.com