REVISO PROVA 2

Monitoria de Lgica
TEOREMA DE HERBRAND
Seja S um conjunto de clusulas. S
INSATISFATVEL se e somente se EXISTE UM
CONJUNTO FINITO DE INSTCIAS BSICAS
das clusulas de S que INSATISFATVEL.
TEOREMA DA COMPACCIDADE
Seja G um conjunto de frmulas da lgica
proposicional. G SATISFATVEL se e somente se
TODO SUBCONJUNTO FINITO DE G
SATISFATVEL. O teorema vlido mesmo que G
seja infinito.
TEOREMA DE LWENHEIM-SKOLEM
Para toda assinatura , toda -estrutura infinita M e
todo cardinal infinito k > || existe uma -estrutura
N tal que |N| = k e
Se k < |M| ento N uma subestrutura de M
Se k > |M| ento N uma extenso de M
SISTEMAS AXIOMTICOS
um conjunto qualquer de axiomas, que podem
ser usados, todos ou s alguns, para a derivao
lgica de teoremas.
AXIOMAS DE EUCLIDES
Axioma I: Pode-se traar uma nica reta ligando
quaisquer dois pontos.
Axioma II: Pode-se continuar (de uma maneira nica)
qualquer reta finita continuamente em uma reta.
Axioma III: Pode-se traar um crculo com qualquer
centro e com qualquer raio.
Axioma IV: Todos os ngulos retos so iguais.
Axioma V: Se uma reta, ao cortar outras duas, forma
ngulos internos, no mesmo lado, cuja soma menor
do que dois ngulos retos, ento estas duas retas
encontrar-se-o no lado onde esto os ngulos cuja
soma menor do que dois ngulos retos.
AXIOMAS DE HILBERT
Termos Indefinidos
Axiomas de Incidncia
Axiomas de Ordem
Axiomas de Congruncia
Axioma das Paralelas
Axiomas de Continuidade
Axiomas sobre Planos
FUNES RECURSIVAS
Motivao
Limites da computao
O que possvel resolver com um computador?

Todos os problemas, mais cedo ou mais tarde, se rendero aos
computadores?

ARITMTICA DE PEANO
) ) ( ) ( ( y x y s x s y x = =
)) ( 0 ( x s x =
) ( )))) ( ( ) ( ( ) 0 ( ( y y x s x x . .
) ) 0 (( x x x = +
)) ( )) ( (( y x s y s x y x + = +
) 0 ) 0 . (( = x x
)) . ( )) ( . (( x y x y s x y x + =
Soma
Multiplicao
FUNES COMPUTVEIS
Como definir / delimitar o conjunto das funes
naturais que sejam calculveis por um algoritmo
baseado nas operaes aritmticas?
FUNES SOBRE N
FUNES CALCULVEIS
TIPOS DE FUNES
1. Iniciais
2. Recursivas Primitivas
3. Recursivas Parciais
4. Recursivas
1. FUNES INICIAIS
3 tipos:
Constante

Sucessor

Projeo


m n n n n C
k
k
m
=

) ,..., , , (
1 2 1 0
1 ) ( + = n n S
i k
k
i
n n n n P =

) ,..., , (
1 1 0
) ( k i <
2. RECURSIVAS PRIMITIVAS
o menor conjunto de funes que:
Contm as funes iniciais

fechado por
Substituio
Recurso primitiva
2. RECURSIVAS PRIMITIVAS
Substituio


Recurso primitiva
Se , onde
e

F h h h g
p 1 1 0
,..., , , F n h n h n h g
p
e

)) ( ),..., ( ), ( (
1 1 0

F f F h g e e ,
) , ,
) , (
(
) ,
1
(
) (
) , 0 (
m
n n
m
f
h
n
m
f
n g
n f

= +
=
2. RECURSIVAS PRIMITIVAS
Ser que as funes recursivas primitivas contm
todas as funes computveis?
No! Ex.: Funo de Ackermann
FUNO DE ACKERMANN



A(m,n) =
n + 1 se m = 0
A(m-1, 1) se m > 0 e n = 0
A(m-1, A(m, n-1)) se m > 0 e n > 0
FUNO DE ACKERMANN
Cresce rapidamente:
Ex.: valor de A(4, 2)
computvel
No recursiva primitiva
FUNO DE ACKERMANN
FUNES CALCULVEIS
FUNES REC. PRIMITIVAS
FUNES SOBRE N
A(m, n)
3. FUNES RECURSIVAS PARCIAIS
So as funes RECURSIVAS PRIMITIVAS
estendidas com o operador :

: representa o menor tal que

) , ( ) ( y x R y

y ) , ( y x R

3. FUNES RECURSIVAS PARCIAIS
Se no existir tal que seja verdadeiro?
A funo no para (loop infinito).

As funes recursivas parciais correspondem ao
conjunto de funes computveis.
) , ( y x R

y
4. FUNES TOTAIS / RECURSIVAS
Dada uma funo recursiva PARCIAL f.
Se f sempre para, dizemos que f uma FUNO
TOTAL.

Ou ento, dizemos que f uma FUNO
RECURSIVA.
4. FUNES TOTAIS / RECURSIVAS
Toda funo recursiva primitiva TOTAL /
RECURSIVA.

A funo de Ackermann TOTAL / RECURSIVA.
RESUMO
FUNES CALCULVEIS = PARCIAIS
FUNES REC. PRIMITIVAS
FUNES SOBRE N
A(m, n)
FUNES TOTAIS
S, C, P
CORRETUDE/COMPLETUDE
Corretude
Se toda sentena demonstrvel verdadeira
Completude
Se toda sentena verdadeira demonstrvel

Existe Sistema Axiomtico Correto e Completo?
MTODO DA DIAGONALIZAO
Gera Paradoxos
Paradoxos de Russel
Paradoxo do mentiroso
Paradoxo do condenado
The Salting Problem
Paradoxo do Barbeiro
TEOREMA DA INCOMPLETUDE DE GDEL
No existe Sistema Axiomtico Correto e Completo
Seja uma sentena de PROP definida como
= eu no sou demonstrvel
Se verdadeiro ento falso
Se falso ento verdadeiro
REVISO PROVA 2
Obrigado!