Академический Документы
Профессиональный Документы
Культура Документы
2013, BA
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .
Marta e Martha
Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .
A funo mantm seu resultado no domnio do conjunto dos
nmeros naturais.
Marta e Martha
Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .
A funo mantm seu resultado no domnio do conjunto dos
nmeros naturais.
Considere agora a relao maior ou igual, onde
maiorIgual (x , y ) : x y
Marta e Martha
Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .
A funo mantm seu resultado no domnio do conjunto dos
nmeros naturais.
Considere agora a relao maior ou igual, onde
maiorIgual (x , y ) : x y
Marta e Martha
Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .
A funo mantm seu resultado no domnio do conjunto dos
nmeros naturais.
Considere agora a relao maior ou igual, onde
maiorIgual (x , y ) : x y
Marta e Martha
Lgica de predicados
O que j foi visto:
Considere o conjunto dos nmeros naturais.
Considere a funo binria soma(a,b). soma : N N N .
A funo mantm seu resultado no domnio do conjunto dos
nmeros naturais.
Considere agora a relao maior ou igual, onde
maiorIgual (x , y ) : x y
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Marta e Martha
Lgica de predicados
Objetivo
Sintaxe da Lgica de predicados.
Marta e Martha
Lgica de predicados
Introduo
Para todo x natural, se x par ento x+1 mpar.
Marta e Martha
Lgica de predicados
Introduo
Para todo x natural, se x par ento x+1 mpar.
(x )(par(x ) mpar(x + 1).
(x N)(par(x ) mpar(x + 1).
Isso nos leva a considerar teorias de 1 ordem.
Teorias de 1 ordem se distinguem de teorias de ordem mais baixa
(como a LP) no fato de que os argumentos de predicados so os
termos construdos de constantes, variveis e aplicaes de funes.
Somente so permitidos quanticadores sobre variveis.
Em teoria de ordens mais altas, funes e predicados podem tomar
funes e predicados como argumentos.
Marta e Martha
Lgica de predicados
Alfabeto = X
Marta e Martha
Lgica de predicados
Alfabeto = X
Marta e Martha
Lgica de predicados
Alfabeto = X
Marta e Martha
Lgica de predicados
Alfabeto = X
Um conjunto enumervel
X = {x , y , z , }.
Um conjunto enumervel
f = {f1 , f2 , f3 , }.
Um conjunto enumervel
c = {c1 , c2 , c3 , }.
Um conjunto enumervel
r = {P , Q , R , }.
Marta e Martha
de smbolos de variveis
de smbolos de funes:
de smbolos de constantes:
de smbolos de predicados (relao):
Lgica de predicados
Alfabeto = X
Marta e Martha
Lgica de predicados
Alfabeto = X
Marta e Martha
Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
Marta e Martha
Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
Marta e Martha
Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
Marta e Martha
Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
Marta e Martha
Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?
Marta e Martha
Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?
funes so termos?
Marta e Martha
Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?
funes so termos?
uma constante um termo?
Marta e Martha
Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?
funes so termos?
uma constante um termo?
predicado um termo?
Marta e Martha
Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?
funes so termos?
uma constante um termo?
predicado um termo?
um tomo.
Marta e Martha
Lgica de predicados
Observaes
maior(x,y) possui 2 argumentos aridade 2
ceuAzul() possui 0 argumentos aridade nula
funes com aridade nula = constante.
predicados com aridade nula = proposio.
variveis so termos?
funes so termos?
uma constante um termo?
predicado um termo?
um tomo.
Os smbolos de verdade so tomos.
Marta e Martha
Lgica de predicados
Frmulas:
Todo tomo uma frmula
Marta e Martha
10
Lgica de predicados
Frmulas:
Todo tomo uma frmula
Se H uma frmula, ento H frmula.
Marta e Martha
10
Lgica de predicados
Frmulas:
Todo tomo uma frmula
Se H uma frmula, ento H frmula.
Se H uma frmula e x uma varivel ento:
(x )H
(x )H
um frmula;
um frmula;
Se H e G so frmulas ento:
Marta e Martha
10
Lgica de predicados
Frmulas:
Todo tomo uma frmula
Se H uma frmula, ento H frmula.
Se H uma frmula e x uma varivel ento:
(x )H
(x )H
um frmula;
um frmula;
Se H e G so frmulas ento:
H G, H G, H G, H G.
Marta e Martha
10
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
Marta e Martha
11
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.
Marta e Martha
11
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.
(x D )[R (x ) P (x )].
Marta e Martha
11
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.
(x D )[R (x ) P (x )].
Marta e Martha
11
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.
(x D )[R (x ) P (x )].
Marta e Martha
11
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.
(x D )[R (x ) P (x )].
Marta e Martha
11
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Os remdios so perigosos.
R(x): x remdio.
P(x): x perigoso.
(x D )[R (x ) P (x )].
(x D )[B (x ) F (x )].
Marta e Martha
11
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
Marta e Martha
12
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.
Marta e Martha
12
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.
(x D )[P (x ) C (x )].
Marta e Martha
12
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.
(x D )[P (x ) C (x )].
Marta e Martha
12
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.
(x D )[P (x ) C (x )].
Marta e Martha
12
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.
(x D )[P (x ) C (x )].
Marta e Martha
12
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Algumas pedras so preciosas.
P(x): x pedra.
C(x): x preciosa.
(x D )[P (x ) C (x )].
12
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
Marta e Martha
13
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.
Marta e Martha
13
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.
(x D )[A(x ) V (x )].
Marta e Martha
13
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.
(x D )[A(x ) V (x )].
Marta e Martha
13
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.
(x D )[A(x ) V (x )].
(x D )[S (x ) D (x )].
Marta e Martha
13
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.
(x D )[A(x ) V (x )].
(x D )[S (x ) D (x )].
Marta e Martha
13
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
H aves que no vooam.
A(x): x ave.
V(x): x voa.
(x D )[A(x ) V (x )].
(x D )[S (x ) D (x )].
(x D )[L(x ) M (x )].
Marta e Martha
13
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
Marta e Martha
14
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.
Marta e Martha
14
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.
(x D )[C (x ) P (x )].
Marta e Martha
14
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.
(x D )[C (x ) P (x )].
Marta e Martha
14
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.
(x D )[C (x ) P (x )].
Marta e Martha
14
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.
(x D )[C (x ) P (x )].
Marta e Martha
14
Quanticadores
Exerccios
Considere o domnio D = conjunto de todos os objetos.
Todo circo tem palhao.
C(x): x circo.
P(x): x tem palhao.
(x D )[C (x ) P (x )].
14