Principios e leis Regras e validade Correção e completude

Lógica básica
Aula 6

Anderson Beraldo-de-Araújo
Pedro Carrasqueira

Universidade Federal do ABC

24/10/17

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 1 / 23

 Principios e leis Regras e validade Correção e completude

1 Principios e leis

2 Regras e validade

3 Correção e completude

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 2 / 23

 Principios e leis Regras e validade Correção e completude

Exemplo complexo

Exemplo
Argumento:
1 Se o Coringa ajudasse os fracos e os oprimidos, então ele seria um
herói de Rio City.
2 Infelizmente, o Coringa não é um herói de Rio City.
3 Logo, ele não ajuda os fracos ou não ajuda os oprimidos.
Forma do argumento:
1 Fc ∧ Oc → Hc
2 ¬Hc
3 ¬Fc ∨ ¬Oc

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 3 / 23

 Principios e leis Regras e validade Correção e completude

Exemplo

1. Fc ∧ Oc → Hc P
2. ¬Hc P
3. Fc ∧ Oc H
4. Hc E→ H
5. ¬(Fc ∧ Oc) I¬
6. ¬(¬Fc ∨ ¬Oc) H
7. ¬Fc HH
8. ¬Fc ∨ ¬Oc I∨ HH
9. ¬¬Fc I¬ H
10. Fc E¬ H

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 4 / 23

 Principios e leis Regras e validade Correção e completude

Exemplo

11. ¬Oc HH
12. ¬Fc ∨ ¬Oc I∨ HH
13. ¬¬Oc I¬ H
14. Oc E¬ H
15. Fc ∧ Oc I∧ H
16. ¬¬(¬Fc ∨ ¬Oc) I¬
17. ¬Fc ∨ ¬Oc E¬

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 5 / 23

 Principios e leis Regras e validade Correção e completude

Princı́pio de não-contradição (PN )

Proposição
¬(φ ∧ ¬φ)

Demonstração.

1. φ ∧ ¬φ H
2. φ E∧ H
3. ¬φ E∧ H
4. ¬(φ ∧ ¬φ) I¬

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 6 / 23

 Principios e leis Regras e validade Correção e completude

Princı́pio do terceiro excluı́do (PT )

Proposição
φ ∨ ¬φ

Demonstração.

1. ¬(φ ∨ ¬φ) H
2. φ HH
3. φ ∨ ¬φ I∨ HH
4. ¬φ I¬ H
5. φ ∨ ¬φ I∨ H
6. ¬¬(φ ∨ ¬φ) I¬
7. φ ∨ ¬φ E¬

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 7 / 23

 Principios e leis Regras e validade Correção e completude

Leis de Morgan (LM )

Proposição
Para todas as fórmulas φ e ψ de uma linguagem proposicional LS , vale as
leis de Morgan (LM ):
1 ¬(φ ∧ ψ) ¬φ ∨ ¬ψ
2 ¬φ ∨ ¬ψ ¬(φ ∧ ψ)
3 ¬(φ ∨ ψ) ¬φ ∧ ¬ψ
4 ¬φ ∧ ¬ψ ¬(φ ∨ ψ)

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 8 / 23

 Principios e leis Regras e validade Correção e completude

Demonstração.

1. ¬(φ ∧ ψ) P
2. ¬(¬φ ∨ ¬ψ) H
3. ¬φ HH
4. ¬φ ∨ ¬ψ I∨ HH
5. ¬¬φ I¬ H
6. φ E¬ H
7. ¬ψ HH
8. ¬φ ∨ ¬ψ I∨ HH
9. ¬¬ψ I¬ H
10. ψ E¬ H
11. φ∧ψ I∧ H
12. ¬¬(¬φ ∨ ¬ψ) I¬
13. ¬φ ∨ ¬ψ E¬
Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 9 / 23
 Principios e leis Regras e validade Correção e completude

Outro exemplo complexo

Exemplo
1 Se chove em Atlântida, a chuva alaga as ruas ou escoa pelos bueiros.
2 A chuva não alagou as ruas, nem tampouco ela escoou pelos bueiros.
3 Assim, não é verdade que choveu em Atlântida.
4 Em realidade, Atlântida é Alexandria.
5 Logo, não choveu em Alexandria.

1 Ca → (Ac ∨ Bc)
2 ¬Ac ∧ ¬Bc
3 ¬Ca
.
4 a=b
5 ¬Cb

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 10 / 23

 Principios e leis Regras e validade Correção e completude

Exemplo

1. Ca → (Ac ∨ Bc) P
2. ¬Ac ∧ ¬Bc P
.
3. a=b P
4. Ca H
5. Ac ∨ Bc E→ H
6. Ac HH
7. Bc HH
8. ¬Ac HHH
9. Ac I¬ HH
10. ¬Ac E∧ H

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 11 / 23

 Principios e leis Regras e validade Correção e completude

Exemplo

11. Ac E∨ H
12. ¬Ca E¬
13. (¬Ca)[a/b] E=.
14. ¬(Ca)[a/b] S
15. ¬Cb S

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 12 / 23

 Principios e leis Regras e validade Correção e completude

Regra da contraposição

Proposição
Γ φ → ψ se, e somente se, Γ ¬ψ → ¬φ.

Exemplo
Nevar implica esfriar se, e somente se, não esfriar implica não nevar.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 13 / 23

 Principios e leis Regras e validade Correção e completude

Demonstração.

1. φ→ψ P
2. ¬ψ H
3. φ HH
4. ψ E→ HH
5. ¬φ I¬ H
6. ¬ψ → ¬φ I→

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 14 / 23

 Principios e leis Regras e validade Correção e completude

Demonstração.

1. ¬ψ → ¬φ P
2. φ H
3. ¬ψ HH
4. ¬φ E→ HH
5. ¬¬ψ I¬ H
6. ψ E¬ H
7. φ→ψ I→

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 15 / 23

 Principios e leis Regras e validade Correção e completude

Correção proposicional

Teorema
Se Γ φ, então Γ  φ.

Demonstração.
Provar que todas as regras de introdução e eliminação proposicionais
preservam a verdade. Analisemos o caso das regras da negação.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 16 / 23

 Principios e leis Regras e validade Correção e completude

Demonstração.
1 φn obtida por E¬ .
1 φn é da forma ψ e existe uma fórmula ¬¬ψ tal que Γ ¬¬ψ.
2 Pela hipótese de indução, Γ  ¬¬ψ.
3 Daı́, qualquer estrutura A que é modelo de Γ satisfaz A(¬¬ψ) = >, o
que significa que A(ψ) = >, ou seja, Γ φn .
2 φn obtida por I¬ .
1 φn é da forma ¬ψ e existe uma fórmula χ tal que Γ, [ψ] χ e
Γ, [ψ] ¬χ.
2 Seja A é um modelo de Γ.
3 Queremos A(¬ψ) = >, mas suponha o contrário: A(¬ψ) = ⊥.
4 Então A(ψ) = >.
5 Assim, A é um modelo de Γ ∪ {ψ}.
6 Pela hipótese de indução, A(χ) = > e A(¬χ) = >, o que é um aburdo.
7 Logo, A(¬ψ) = >, o que significa que Γ φn .

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 17 / 23

 Principios e leis Regras e validade Correção e completude

Completude proposicional

Teorema
Se Γ  φ, então Γ φ.

Demonstração.
Provar que todos os argumentos válidos podem ser transformados em
deduções. A demonstração desse resultado é feita em 5 passos.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 18 / 23

 Principios e leis Regras e validade Correção e completude

Primeiro passo: consistencia e coerencia

Definição
Seja Γ um conjunto de fórmulas de uma linguagem proposicional LS .
Dizemos que Γ é consistente se para toda fórmula φ de LS não é verdade
que Γ ` φ e Γ ` ¬φ; caso contrário, dizemos que Γ é inconsistente.
Ademais, Γ é dito ser coerente se existe uma fórmula φ de LS tal que
Γ 1 φ; caso contrário, Γ é chamado de incoerente.

Lema
Γ é consistente se, e somente se, Γ é coerente.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 19 / 23

 Principios e leis Regras e validade Correção e completude

Segundo passo: Lema de equivalência

Lema
Os seguintes enunciados são equivalentes:
Se Γ  φ, então Γ φ.
Se Γ é consistente, então Γ tem modelo.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 20 / 23

 Principios e leis Regras e validade Correção e completude

Terceiro passo: Lema de Lindembaum

Definição
Um conjunto de fórmulas proposicionais Γ é decidı́vel se para toda fórmula
proposicional φ, Γ ` φ ou Γ ` ¬φ. Por outro lado, Γ é maximalmente
dedutivo se Γ é consistente e decidı́vel.

Lema
Se Γ é um conjunto consistente, então existe um conjunto maximalmente
dedutivo Γ∗ tal que Γ ⊆ Γ∗ .

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 21 / 23

 Principios e leis Regras e validade Correção e completude

Quarto passo: Lema de Post

Lema
Se Γ é um conjunto consistente, então existe uma estrutura A tal que
A(φ) = > se, e somente se, Γ φ.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 22 / 23

 Principios e leis Regras e validade Correção e completude

Quinto passo: Prova da completude

Teorema
Se Γ  φ, então Γ φ.

Demonstração.
1 Suponha que Γ é consistente.
2 Pela regra de introdução da implicação, Γ φ → φ. Daı́, Γ φ para
toda φ ∈ Γ.
3 Pelo lema de Post, existe uma estrutura A tal que A(φ) = > se, e
somente se, Γ φ.
4 Logo, A é um modelo de Γ.
5 Pelo lema da equivalência, está demonstrada a completude
proposicional.

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 6 24/10/17 23 / 23