Escolar Documentos
Profissional Documentos
Cultura Documentos
Predicados
(),
< > = + -
conjuno, operao E
disjuno, operao OU
negao, operao NO, em alguns textos usam
condicional, por exemplo, p q, se p ento q
bicondicional, por exemplo, p q, p se e somente se q
para agrupao de termos (prioridade) e , para separao
operadores de relao e aritmticos
significa "para todo o x", "para qualquer x", "qualquer que seja x"
ou seja, exprime fatos sobre todos os objetos do universo
significa "existe um x", "existe algum x", "existe pelo menos um x"
ou seja, exprime fatos sobre objetos particulares
maior prioridade
~
menor prioridade
capital(Cuba, Havana)
p: c: capital(p,c) cidadeImportante(c)
Raciocnio aproximado
Exemplo
progenitor (Ana, Pedro)
progenitor (Pedro, Rosa)
progenitor (Luis,Leila)
.....
progenitor (Carlos,Heitor)
homem (Pedro)
homem(Luis)
mulher(Ana)
mulher(Rosa)....
x: y:
x: y:
pai(x,y)
Exemplo
Exerccio (continuao do anterior): definir em lgica de predicados: av,
irmos, tio e primos. Obs: nas novas proposies lgicas poder utilizar as
que foram definidas anteriormente.
Resposta
x: y: z:
x: y: z:
x: y: a: b:
progenitor(x,y) ^ progenitor(a,b) ^ irmaos(x,a) primos(y,b)
x: a: b:
Exerccio 1
Com fatos (axiomas) com a estrutura seguinte:
populacao(nome da cidade, populao da cidade)
capital (nome do pas, nome da cidade)
por exemplo:
populacao(Campinas, 2000000)
populacao(SaoPaulo, 15000000)
populacao(Lima,1500000)
populacao(Braslia, 3000000)
capital(Brasil,Braslia)
capital(Peru,Lima)
......
ou com strings:
populacao(Campinas, 2000000)
populacao(So Paulo, 15000000)
.....
Resposta do Exerccio 1
populacao(Campinas, 2000000)
populacao(SaoPaulo, 15000000)
populacao(Lima,1500000)
populacao(Braslia, 3000000)
populacao(Havana, 2000000)
capital(Brasil,Braslia)
capital(Peru,Lima)
capital(Cuba, Havana)
c: h: populacao(c, h) (h > 2500000)
cidadeGrande(c)
c: p: cidadeGrande(c) capital(p, c)
capitalImportante(c)
Exerccio 2
Suponhamos que para a descrio dos equipamentos numa loja de
Informtica temos o predicado:
equipamento (nome do modelo, tipo de equipamento, preo)
Exerccio 3
Exerccio 4
Expressar em forma generalizada com lgica de predicados os seguintes
fatos escritos em lgica proposicional:
Resposta Exerccio 4
conhece(Luiz, Pascal)
conhece(Ana, Java)
conhece(Luiz, VB)
conhece(Ana, C#)
conhece(Pedro, C#)
conhece(Pedro, Java)
experienciaProgramador(Luiz, 7)
experienciaProgramador(Ana, 10)
experienciaProgramador(Pedro, 4)
prog: ling: anos: ( conhece(prog, Java) conhece(prog, C#) )
experienciaProgramador(prog, anos) (anos > 5)
candidatoVaga(prog)
Exerccio 5
Conhecemos algumas caractersticas de pessoas, com estruturas de fatos em
clculo de predicados como mostrado a seguir:
alto(Pedro)
alto(Rosa)
magro(Luis)
magro(Rosa)
elegante(Rosa)
elegante(Luis)
responsvel(Rosa)
responsvel(Teresa)
desorganizado(Heitor)
idade(Rosa,20)
idade(Luis,29)
idade(Pedro,18)
Resposta Exerccio 5
p: anos:
alto(p) magro(p) elegante(p) responsvel(p)
idade(p, anos) (anos < 21) candidatoModelo(p)
p: a:
responsvel(p)
Bibliografia sugerida
BIBLIOGRAFIA