LGICA APLICADA A COMPUTAO

2009.3 Aquiles Burlamaqui

Ementa
Unidade 2
Lgica de Predicados: Linguagem e Semntica
Traduo do portugus para a Lgica
Quantificadores e Tipos
Quantificadores como Conjunes e Disjunes Infinitas
Linguagem de Primeira Ordem
Verdade
A Teoria Formal da Lgica de Predicados
Teoria Formal do Calculo de Predicados
Teorema da Deduo
Computao na Lgica de Predicados
Resoluo
Resultados de Completude

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Lgica de Predicados:
Linguagem e Semntica
Introduo
Traduo do Portugus para a Lgica
Quantificadores e Tipos
Quantificadores como Conjues e Disjunes Infinitas
Linguagem de 1 Ordem
Verdade

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Introduo
Como analizar expresses como:
Todo estudante gosta de tirar boas notas
Algo est errado

Constante
o gato magro
magro(gato)

Varivel
algo magro
magro(algo) - errado
x.magro(x) - certo

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Introduo
Quantificador
existncial, universal
Quantificao
x , x
Uso do quantificador
x.(magro(x) ^ faminto(x)) x mesmo valor
(, ) delimitam o escopo do x
x.magro(x) ^ y.faminto(y)
Quantificadores de mesmo tipo podem ser trocados de ordem, e
no mudam o significado

Quantificadores de tipos diferentes, a ordem influncia.

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Traduo do Portugus para a Lgica
Como na lgica proposicional, liga-se as sentenas
atmicas com os conectivos e, ou, se...ento,no, se e
somente se.
Com os quantificadores e variveis se aplica o
mesmo princpio.

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Traduo do Portugus para a Lgica
Traduzindo pronomes:
algo, todo mundo, nada, ele, ela

Jose gosta de Maria e ela o adora

Regra:
se os pronomes esto ligados por um conectivo trate dos
pronomes antes do conectivo
Quantificadores e Tipos
Como se referir a um certo conjunto de coisas e no a
todas as coisas?
todos os seres racionais odeiam violncia
Maria gosta de algum que gosta de lgica
A resposta : qualificando o quantificador.
Qualificando o quantificador:
Universal
Utilizando uma implicao
(racional)x.(x odeia violncia)
x.(racional(x)odeia-violncia(x))
Existencial
Utilizando uma conjuno
(uma pessoa que gosta de lgica)y. gosta (Maria, y)
y.(pessoa(y)^gosta(y,lgica)^gosta(Maria,y))
Quantificadores e Tipos
Notao para facilitar o uso de qualificativos
Quantificadores tipados(tipos)
x:nome-do-tipo x:nome-do-tipo

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Quantificadores como
Conjunes e Disjunes Infinitas

Quantificadores podem ser utilizados na

representao de conjunes e disjunes infinitas.
todo nmero natural tem a propriedade P
x.P(x)

Quantificador universal ligado a varivel

Conjuno infinita

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Linguagem de 1 Ordem
Expressa idias mais complexas
se x par ento x+1 impar
x.(par(x)impar(x+1))

Sentena pode ser verdadeira ou falsa dependendo

da interpretao

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Linguagem de 1 Ordem

Teorias de 1 ordem
Argumentos dos predicados podem ser constantes,
variveis, funes.
Linguagens de predicados, so extenses das
linguagens proposicionais
Alfabeto de 1 ordem
Alfabeto = X U {f1,f2,...,R1,R2,...no,e,ou, implica, se
somente se, para todo,existe, (,),.,,)

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Linguagem de 1 Ordem

Linguagem dos termos

Linguagem de predicados

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

14

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Linguagem de 1 Ordem

Anlise de quantificaes
R(x,y,z) = {(x,y,z) N3/ x+y=z}
x+y=z aplicar quantificaes

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Linguagem de 1 Ordem
Formula fechada
Varivel livre e ligada
Exemplos
Termo livre
Exemplos

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Linguagem de 1 Ordem

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

18
 Verdade
Dado uma linguagem de 1 ordem, um interpretao
para essa linguagem um sigma domnio.
Verdade
Interpretao
Verdade
Valorao verdade
Verdade
Valorao verdade
Verdade
Modelo
Satisfatvel
Insatisfatvel

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Verdade
Verdade
Verdadeira numa dada interpretao
Falsa numa dada interpretao
Universalmente vlida
Verdade

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Verdade
Consequencia Lgica

Lgica de Predicados

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Exerccios
1, 2, 3, 4, 5, 6

Aulas de Lgica Aplicada a Computao - Aquiles Burlamaqui

Referencias
Callejas, Bedregal. Acily, Bendito. Lgica para a
Cincia da Computao, Natal, 2001.
http://pt.wikipedia.org/wiki/L%C3%B3gica
http://www.pucsp.br/~logica/