Reviso de Lgica

CALCULO PROPOSICIONAL
Clculo proposicional, lgica proposicional ou lgica sentencial
Uma frmula ou frmula bem formada (wff) dada pela gramtica

F := (F F)
F := (F F)
F := (F F)
F := ( F)
F := ID

ID um smbolo especial resolvido pelo analisador lxico para

uma quantidade contvel de proposies ou smbolos
proposicionais p1, p2, p3,...
Ns da computao sabemos tratar melhor a necessidade de
parnteses embutindo a precedncia na gramtica, mas no vem ao
caso na rea de lgica. Como os lgicos em geral no implementam
programas, simplesmente os parnteses so ignorados supondo
uma ordem de precedncia e muitas vezes as proposies so
escritas como p, q, r, etc.
 CALCULO PROPOSICIONAL
Uma frmula ou frmula bem formada (wff) dada pela gramtica

F := (F F)
F := (F F)
F := (F F)
F := ( F)
F := ID

Exemplos de frmulas bem formadas:

(p1 p2) (( p1 p2)

Exemplos de frmulas usual com abuso de notao:

(p q) p q
 CALCULO PROPOSICIONAL
A semntica de um frmula o seu valor verdade. Ele obtido
atravs de uma atribuio de valores verdades para os smbolos
proposicionais.
Dado um conjunto S de smbolos proposicionais uma atribuio
uma funo

Exemplo p1 p2 p1 p1

Podemos estender a funo para todas as wff formadas com

smbolos de S usando as tabelas verdade de cada operador.
Obtendo

Exemplo:
((p1 p2) (( p1 p2))=
(( ) (( ))=
(( ) (( ))=
( )=
 CALCULO PROPOSICIONAL
Dado um conjunto S de smbolos proposicionais uma atribuio
uma funo
Podemos estender a funo para todas as wff formadas com
smbolos de S usando as tabelas verdade de cada operador.
Obtendo

Dizemos que satisfaz .

satisfatvel existe uma atribuio que satisfaz

Se um conjunto de wffs dizemos que implica tautologicamente

, ou consequncia semntica de , escrevemos , quando
toda a atribuio que satisfaz todas as wffs de satisfaz tambm
.
 EXERCCIOS
Prove ou refute:

se e somente se
se e somente se ou
 COMPACIDADE
satisfatvel se e somente se todo o subconjunto finito de
satisfatvel
satisfatvel se existe uma atribuio

. Supor por hiptese que finitamente satisfatvel e

 COMPACIDADE
satisfatvel se e somente se todo o subconjunto finito de
satisfatvel

Prove que:
Se ento existe , finito, tal que .
Em 1977 foi provado que todo o mapa (grafo planar finito)
colorvel com 4 cores. Prove que todo o grafo planar
(possivelmente infinito) colorvel com 4 cores.
 LOGICA DE PRIMEIRA ORDEM
Uma axiomatizao para os Naturais:

x1 (Suc(x1)0) x1 (x10 x1)

x1x2 (Suc(x1)Suc(x2) x1x2) x1x2(x1Suc(x2) Suc(x1x2))
x1x2 (x1Suc(x2) x1x2 x1x2) x1 (x1.0 0)
x1 (x10) x1y (x1.Suc(x2)x1. x2x1)
x1y (x1x2 x1x2 x2x1)

x1 e x2 so variveis
0 uma constante ou funo de aridade 0
Suc uma funo de aridade 1
< uma relao (um predicado) de aridade 2
= uma relao de aridade 2 especial
+ e . so funes de aridade 2
 LOGICA DE PRIMEIRA ORDEM
Na lgica de 1 ordem em geral usamos:

Um conjunto contvel de variveis x1, x2, x3,...

Alm disso, no caso dos naturais usamos:

Fixando as constantes, funes e predicados usados, dizemos que temos uma

linguagem de primeira ordem. Representamos a linguagem por .

Como podemos definir os S-termos?

Como podemos definir as S-frmulas?

 SINTAXE
S-Termos
TERM o menor conjunto X tal que: Exemplo
i) Para todo ci S, X 0
ii) Para todo i , xi X x2
iii) Para todo fi S com aridade ai. Ento:
,..., TERM fi( ,..., ) TERM S(x1)

S-Frmulas
FORM o menor conjunto X tal que:
i) X Exemplo
Para todo Pi S de aridade ai. Ento:
x1<x2
,..., TERM Pi( ,..., ) X
x1=x2
, TERM X
ii) , X (), (), () X (x1<x2x1=x2x2<x1)
iii) X (),(xi), ( xi), X, para todo i
(x1)(x2)(x1<x2)
 SEMNTICA
No nosso caso, a linguagem para teoria dos nmeros possui os smbolos:
1. 0 uma constante
2. Suc uma funo de aridade 1
3. < uma relao (um predicado) de aridade 2
4. = uma relao de aridade 2 especial.
5. + e . so funes de aridade 2
Uma estrutura para essa linguagem uma tupla
onde:

Se uma sentena verdadeira em dizemos que um modelo de :


 SEMNTICA
No caso de frmulas que no so sentenas (possuem variveis livres), para
dizer se a frmula verdadeira ou falsa precisamos de atribuio de valores
para as variveis livres. : {vn}
x (S(x)y)
Ser falsa se (y)=0.
( uma interpretao para a linguagem da teoria dos nmeros.
Alguns autores chamam ( de estrutura. Vamos seguir esta conveno daqui em
diante.
Se uma frmula verdadeira para ( dizemos que satisfaz com :
[]
Se uma alguma estrutura ( [], dizemos que satisfazvel:
Sat ()
 CONSEQUNCIA LGICA
Se uma S sentena verdadeira na S estrutura dizemos
que um modelo de :


Se um modelo de todas as frmulas de um conjunto , dizemos que
modelo de .

Se todo o modelo de tambm modelo de , dizemos que
consequncia lgica de .

Uma frmula valida se , escrevemos:

Fato: Sat({ }) prova:
( ( [] [])
( ( [] [])
( ( [] [])
( ( {}[]) Sat({ })
 CORRETUDE E COMPLETUDE
O clculo correto.

O clculo completo.

O clculo correto e completo.

O resultado vlido para deduo natural, clculo de

sequentes, tableaux, sistemas de Hilbert.
 CORRETUDE
O clculo correto.

Todo conjunto consistente de frmula satisfatvel.

Con () Sat ()
 COMPACIDADE
Uma vez que as provas so rvores finitas, as mesmas usam no
mximo um nmero finito de premissas. Portanto se
ento existe 0, finito, tal que 0 .

Compacidade: (Verso consequncia lgica)

existe 0, finito, tal que 0 .
(prova imediata a partir de corretude e completude)

Compacidade: (Verso satisfatibilidade)

( 0 finito , Sat(0) ) Sat()
(Se finitamente satisfatvel satisfatvel)

Se tem modelos finitos arbitrariamente grandes ento

tem modelo infinito. Prova:
2xy(xu), ..., nexistem (ao menos) n elementos
{2, 3, 4,...} por hiptese qualquer subconjunto finito
tem modelo, portanto por compacidade o conjunto tem um
modelo, o qual tem que ser infinito.
 MODELOS DOS NATURAIS
Artigo de Leon Henkin, On Mathematical Induction,
apresenta os seguintes axiomas de Peano:

P1.
P2.
P3.

um modelo Para
Exibir modelos para:



Ser que so independentes?
 MODELOS DOS NATURAIS
Substituindo o axioma de induo por um esquema de
axiomas:

P1.
P2.
P3. Para cada fruma lgica que seja um predicado unrio:

Quais so os modelos desta verso de 1 ordem?

No trabalho original de Peano (Arithmetices principia, nova

methodo exposita, 1889) comeava em 1. A diferena
importante quando introduzimos a adio. O trabalho usava o
axioma de induo de 2 ordem, que garante que todos os
modelos dos naturais so isomrficos (teorema de Dedekind).
 GRUPOS
So estruturas que satisfazem:

Neste caso dizemos que =dom( )

Dado outro grupo dizemos que ele tem

a mesma assinatura que .
 HOMOMORFISMOS
Se e so grupos,
ento:
1) Um homomorfismo de para , ,
uma funo tal que:
2) f( )=
f( )=
f( )=

Deve estar clara a generalizao para qualquer assinatura. No

caso de relaes binrias exigimos que:
 IMERSO e ISOMORFISMO
Se e so grupos,
ento:
1) Um imerso de para , , uma
funo injetora tal que:
2) f( )=
f( )=
f( )=

No caso de relaes binrias exigimos que:

Um isomorfismo uma imerso sobrejetora.

Se um isomorfismo dizemos que e so
isomorfos, .
 GRAFOS
So que satisfazem:

Existe um homomorfismo de em ?
Existe uma imerso de em ?
 Homomorfismos
Teorema. Seja L uma assinatura.

(a) Se so L-estruturas e e so homomorfismos,

ento um homomorfismo de para . Se e so imerses ento
tambm o .
(b) Se e so L-estruturas e um homomorfismo ento

(c) Se so L-estruturas e e so isomorfismos,

ento a um isomorfismo de A para C, e um isomorfismo de para
.
(d) A relao (isomrfico a) uma relao de equivalncia sobre a classe
de L-estruturas.
(e) Se so L-estruturas, um homomorfismo e existem
homomorfismos e tal que e , ento
um isomorfismo e .
 Estruturas
Se so L-estruturas e , dizemos que e so
elementarmente equivalentes, .

Teorema:
 Subestruturas
Se so L-estruturas dizemos que:
subestrutura de
extenso de
Se por definio:

Para toda R de aridade ,

Para toda f de aridade ,
Para toda constante
 Subestruturas
Exemplos:

Subgrupos so subestruturas
Subgrafos induzidos (por um conjunto de vrtice)
Subgrafos em geral so subestruturas fracas, nas quais a condio para
relaes mais fraca:
Para toda R de aridade ,
 Produto de Estruturas
Se so L-estruturas dizemos que a L-estrutura produto, se por
definio:

Para toda R de aridade

Para toda f de aridade

Para toda constante

 Produto de Estruturas
Se as L-estruturas e so grupos ento
Se as L-estruturas e so relaes de equivalncia ento

Se as L-estruturas e so grafos ento

Se as L-estruturas e so corpos ento
Reviso de Autmatos e
Computabilidade
 Alfabetos e Linguagens
Um alfabeto um conjunto finito no vazio de smbolos.
Exemplos:
1={a,b}
2={x,y,z,G,,,,,,,(,)} alfabeto permite escrever frmula em FOL
com 3 variveis e um smbolo relacional.

Uma sentena ou string sobre uma sequncia finita de smbolos de .

Exemplos de sentenas sobre 1:
ab, ababab, aaab,

As sentenas podem ser concatenadas pela operao : aba ab = abaab.

O smbolo representa a sentena vazia ou string vazio, elemento neutro da

concatenao. Em alguns texto representada como , ou .

Uma linguagem sobre um conjunto de strings sobre .

 Alfabetos e Linguagens
Uma linguagem sobre um conjunto de strings sobre .

Exemplos de linguagem sobre 1={a,b}

L={aaa,ab,abb}
L2=
L3={}

Podemos definir concatenao de linguagens. L1L2 = {w1w2 | w1L1 w2L2}

Exemplo:
LL = {aaaaaa,aaaab,aaaabb, abaaa,abab,ababb, abbaaa,abbab,abbabb}

L0 = {}
Ln=1 = LLn
L* =
Portanto * o conjunto de todas as sentenas possveis sobre .
 Autmatos Finitos
Um autmato finito determinstico uma tupla M=(Q,,,q0,F), onde:
1. Q um conjunto finito de estados
2. o alfabeto de smbolos de entrada
3. : Q Q a funo de transio
4. q0Q o estado inicial
5. FQ o conjunto de estados finais
Estendemos : Q Q para : Q* Q .
(q,aw) = ((q,a),w) onde a e w*.
(q,) = q
A linguagem reconhecida pelo DFA M T(M)={w*| (q0,w)F}
A classe das linguagens reconhecidas por DFAs exatamente a classe das
linguagens regulares. (Linguagens geradas por gramticas regulares)

0 1 0

q0 q1

1
 Autmatos Finitos
Um autmato finito no determinstico uma tupla M=(Q,,,q0,F), onde:
1. Q um conjunto finito de estados
2. o alfabeto de smbolos de entrada
3. : Q (Q) a funo de transio
4. q0Q o estado inicial
5. FQ o conjunto de estados finais
Estendemos : Q (Q) para : Q* (Q).
(q,aw) = (q,a) (r,w) onde a e w *.

(q,) = {q}
A linguagem reconhecida pelo NDFA M T(M)={w*| (q0,w)F }
A classe das linguagens reconhecidas por NDFAs exatamente a classe das
linguagens regulares.
0,1 0,1

q0 1 q1 1 q2
 Mquinas de Turing
Um mquina de Turing com 1 fita:

0 0 1 1

q0

0/X 1/X 0/X

q0 q1

1/X
 Mquinas de Turing
Um mquina de Turing com 1 fita:

X 0 1 1

q0

0/X 1/X 0/X

q0 q1

1/X
 Mquinas de Turing
Um mquina de Turing com 1 fita:

X X 1 1

q0

0/X 1/X 0/X

q0 q1

1/X
 Mquinas de Turing
Um mquina de Turing com 1 fita:

X X X 1

q1

0/X 1/X 0/X

q0 q1

1/X
 Mquinas de Turing
Um mquina de Turing com 1 fita:

X X X X

q1

0/X 1/X 0/X

q0 q1

1/X

A mquina parou no estado final q1, portanto reconheceu a entrada 0011.

 Mquinas de Turing
Um mquina de Turing com 1 fita:

X X X X

q1

0/X 1/X 0/X

q0 q1

1/X

A mquina parou no estado final q1, portanto reconheceu a entrada 0011.

 Mquinas de Turing
A mquina de Turing foi proposta no paper On Computable Numbers, With
An Application To The Entscheidungsproblem (1936), com o nome
automatic machine.
Uma mquina de Turing com 1 fita pode simular uma mquina com mltiplas
fitas.
Uma mquina de Turing determinstica pode simular uma mquina de Turing
no determinstica.
Existe uma mquina de Turing Mu (mquina universal) que pode receber a
codificao de uma outra mquina de Turing M2, junto a um dado de entrada
e simular a execuo de M2 como um interpretador (provado por Alan
Turing no mesmo paper)
No mesmo paper Turing provou a equivalncia da mquina com a effective
calculability de Alonzo Church (tambm de 1936).
 Linguagens Recursivas
Um conjunto L contvel (tambm enumervel, mas mais comum
enumervel exigir ser infinito) finito ou existe uma bijeo f(n): L.
Um conjunto L recursivamente enumervel finito ou existe uma
bijeo computvel f(n): L.
Uma linguagem L recursivamente enumervel L=T(M) para alguma
mquina de Turing M.
Uma linguagem L recursiva L=T(M) para alguma mquina de Turing M
que sempre para.

Uma linguagem L recursiva e so recursivamente enumerveis.