Semântica e Teoria da Prova Princı́pio do Escaninho

Interlúdio Computacional
Semântica e Teoria da Prova

Marcelo Finger

Departamento de Ciência da Computação

Instituto de Matemática e Estatı́stica
Universidade de São Paulo

2022

Marcelo Finger CC-IME-USP

Interlúdio 1 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Tópicos

1 Semântica e Teoria da Prova

2 Princı́pio do Escaninho

Marcelo Finger CC-IME-USP

Interlúdio 2 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Próximo Tópico

1 Semântica e Teoria da Prova

2 Princı́pio do Escaninho

Marcelo Finger CC-IME-USP

Interlúdio 3 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Limitações da Semântica

Semântica clássicados provê uma interpretação elementos da

linguagem em termos de Teoria dos Conjuntos
Pode ser generalizada como interpretar uma linguagem em
outra
Problema filosófico: onde está armazenada a interpretação?
[Teoria do homúnculo]
Problema lógico: semântica não explicita como gerar
acarretamentos lógicos

Marcelo Finger CC-IME-USP

Interlúdio 4 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Limitações da Semântica

Semântica clássicados provê uma interpretação elementos da

linguagem em termos de Teoria dos Conjuntos
Pode ser generalizada como interpretar uma linguagem em
outra
Problema filosófico: onde está armazenada a interpretação?
[Teoria do homúnculo]
Problema lógico: semântica não explicita como gerar
acarretamentos lógicos
Este é o papel da Teoria da Prova: gerar inferências lógicas

Marcelo Finger CC-IME-USP

Interlúdio 4 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Limitações Computacionais da Semântica

Tabelas da verdate possuem número de linhas linear no

tamanhoda fórmula
Número de linhas exponencial en termos dos sı́mbolos
proposicionais da fórmula
Técnica da Tabela da Verdade não escala.

Marcelo Finger CC-IME-USP

Interlúdio 5 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Limitações Computacionais da Semântica

Tabelas da verdate possuem número de linhas linear no

tamanhoda fórmula
Número de linhas exponencial en termos dos sı́mbolos
proposicionais da fórmula
Técnica da Tabela da Verdade não escala.
Vamos ver o exemplo de uma famı́lia de fórmulas: PHPn

Marcelo Finger CC-IME-USP

Interlúdio 5 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Próximo Tópico

1 Semântica e Teoria da Prova

2 Princı́pio do Escaninho

Marcelo Finger CC-IME-USP

Interlúdio 6 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Pigeon Hole Principle

Marcelo Finger CC-IME-USP

Interlúdio 7 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Princı́pio do Escaninho

Marcelo Finger CC-IME-USP

Interlúdio 8 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Princı́pio do Escaninho: Ordem n

Cada uma das n + 1 cartas

é depositada em algum dos |= Algum dos n escaninhos re-
cebe mais de uma carta
n escaninhos

φ |= ψ

Marcelo Finger CC-IME-USP

Interlúdio 9 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Modelagem

Os sı́mbolos proposicionais são as setas

pij : carta i é entregue no escaninho j
1 ≤ i ≤ n + 1, 1 ≤ j ≤ n
φ |= ψ
φ: cada uma das cartas é entregue em um escaninho
ψ: algum escaninho recebe mais de uma carta

Marcelo Finger CC-IME-USP

Interlúdio 10 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Princı́pio do Escaninho: Ordem 1

Duas cartas, 1 escaninho

φ |= ψ
φ: p1,1 ∧ p2,1
ψ: p1,1 ∧ p2,1

PHP1 : p1,1 ∧ p2,1 |= p1,1 ∧ p2,1

Marcelo Finger CC-IME-USP

Interlúdio 11 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Princı́pio do Escaninho: Ordem 2

3 cartas, 2 escaninhos
φ |= ψ
(p1,1 ∨ p1,2 )∧
φ : (p2,1 ∨ p2,2 )∧
(p3,1 ∨ p3,2 )

(p1,1 ∧ p2,1 ) ∨ (p1,1 ∧ p3,1 ) ∨ (p2,1 ∧ p3,1 )∨

ψ:
(p1,2 ∧ p2,2 ) ∨ (p1,2 ∧ p3,2 ) ∨ (p2,2 ∧ p3,2 )
Tabela da verdade com 26 = 64 linhas; 17 colunas

Marcelo Finger CC-IME-USP

Interlúdio 12 / 12
Semântica e Teoria da Prova Princı́pio do Escaninho

Princı́pio do Escaninho: Ordem 2

3 cartas, 2 escaninhos
φ |= ψ
(p1,1 ∨ p1,2 )∧
φ : (p2,1 ∨ p2,2 )∧
(p3,1 ∨ p3,2 )

(p1,1 ∧ p2,1 ) ∨ (p1,1 ∧ p3,1 ) ∨ (p2,1 ∧ p3,1 )∨

ψ:
(p1,2 ∧ p2,2 ) ∨ (p1,2 ∧ p3,2 ) ∨ (p2,2 ∧ p3,2 )
Tabela da verdade com 26 = 64 linhas; 17 colunas
2 +n
No PHPn : n(n + 1) sı́mbolos; 2n linhas. Explosão
combinatória

Marcelo Finger CC-IME-USP

Interlúdio 12 / 12