Captulo 8 Lgica de primeira

Ordem
Tpicos
1. Contextualizao
2. Definies
3. Exemplos
4. Questo desafio!

2
Todo tricolor um campeo. Roberto tricolor. Logo
Roberto um campeo.
A adio de dois nmeros mpares quaisquer um nmero
par.
Acesso a esse recinto permitido somente para as pessoas
autorizadas ou conhecidas de pessoas autorizadas.

Por qu?

O que no possvel expressar em Lgica Proposicional?
3
Ausncias da Lgica Proposicional
Quantificadores
todo, qualquer, existe, alguns, nenhum, ...
Sempre esto ligados a variveis

Objetos
Indivduos do universo de discurso, sobre o qual
quantificadores podem ser aplicados
Todo tricolor um campeo. Roberto tricolor.

4
Lgica de Predicados
Tambm chamada de
Lgica de 1. Ordem
FOL (First-Order Logic)
Extenso da Lgica Proposicional
Novos conectivos (quantificadores)
Novos smbolos para funes, variveis, predicados, etc
5
Alfabeto

O alfabeto da Lgica de Predicados constitudo
por:
smbolos de pontuao: ( , );
smbolo de verdade: false;
um conjunto enumervel de smbolos para variveis:
x, y, z, w, x
1
,y
1
,... ;
6
Alfabeto
Um conjunto enumervel de smbolos para funes:
f, g, h, f
1
, g
1
, h
1
, f
2
, g
2
, ... ;
um conjunto enumervel de smbolos para
predicados:
p, q, r, p
1
, q
1
, r
1
, p
2
, q
2
, ... ;
Conectivos:
, , , .
Associado a cada smbolo para funo ou predicado, temos um
nmero inteiro no-negativo k.
Esse nmero indica a aridade, ou seja, o nmero de
argumentos da funo ou predicado.

7
Alfabeto
Constantes
Variveis
Funes
Predicados
Conectivos

8
Constantes
Do nomes a coisas particulares

Exemplo: Rosalvo, Brasil, Petrolina
9
Variveis
Sintaticamente iguais s constantes
Anlogo a linguagens de programao

Exemplo: x, y, z
10
Funes
Semelhante a funo em programao, recebe um ou
mais argumentos e produz uma resposta um
elemento do domnio como um nmero ou um objeto

Exemplo: soma(x, y)
11
Predicados
Semelhante a uma funo em programao com
resposta booleana, a resposta ser sempre verdadeiro
ou falso. Utilizado para representar relaes.

Exemplo: irmao(x, y), pai(x,y), vizinho(x,y)

12
Conectivos

Quantificadores

Universal: (para todo )
Existencial: (existe )

Os conectivos , e ^ so definidos em funo do
conjunto completo {,v}
13
E as frmulas da lgica de predicados?
Para definir as regras para formao das frmulas bem
formadas preciso estabelecer dois conceitos importantes:

-tomos
- Termos
14
Tipos de perguntas (consultas)
A capital de Pernambuco Petrolina?
Deve retornar um smbolo de verdade
Sentenas que representam smbolos de verdade, em
Lgica de Predicados, so chamados de tomos

Qual a capital do Brasil?
Deve retornar um objeto
Sentenas que representam objetos so chamados de
termos
15
Frmulas
So construdos a partir destas regras:

Todo tomo uma frmula da Lgica de Predicados

Se H frmula ento (H) tambm

Se H e G so frmulas, ento (HvG) tambm

Se H frmula e x varivel, ento

((x)H) e ((x)H) so frmulas
16
Ordem de precedncia da Lgica de Predicados

,
,
^,v




17
Correspondncia entre quantificadores
Todo piloto rpido
Equivale
falso que existe piloto que no rpido

Existe treinador inteligente
Equivale
falso que todo treinador no seja inteligente


18
Correspondncia entre quantificadores
((x)H)= ((x)(H))
((x)H)= ((x)(H))

Qualquer quantificador pode ser definido a partir do outro!
19
Escopo de um quantificador
Abrangncia de seu uso nas sub-frmulas

Se E uma frmula na Lgica de Predicados
Se ((x)H) subfrmula de E
o escopo de (x) H
Se ((x)H) subfrmula de E
o escopo de (x) H
20
Exemplo de escopo de um quantificador
G=(x)(y)((z)p(x,y,w,z) (y)q(z,y,x,z1))

O escopo de (x) (y)((z)p(x,y,w,z) (y)q(z,y,x,z1))
O escopo de (y) ((z)p(x,y,w,z) (y)q(z,y,x,z1))
O escopo de (z) p(x,y,w,z)
O escopo de (y) q(z,y,x,z1))



21
Ocorrncia livre e ligada
Se x uma varivel e E uma frmula, uma ocorrncia de x em
E
Ligada, se x est no escopo de um quantificador (x) ou
(x) em E
Livre, se no for ligada

G=(x)(y)((z)p(x,y,w,z) (y)q(z,y,x,z1))


22
Varivel livre e ligada
Se x uma varivel e E uma frmula que contm x. x
Ligada em E, se existir uma ou mais ocorrncias ligadas
de x em E
Livre em E, se existir uma ou mais ocorrncias livres de x
em E

No exemplo anterior, z livre e ligada!

23
a) Uma condio necessria e suficiente para que um individuo
seja produtivo que ele seja esforado, trabalhe muito e tenha
inspiraes

c) As filhas do professor Pedro so lindas e meigas

d) As filhas do professor Pardal so lindas e inteligentes e todos
os rapazes da Computao querem namor-las;

e) Nem todo pssaro voa

f) todo poltico desonesto

24
n) Quem no se ama no ama ningum

o) Toda patricinha de Petrolina que vai ao shopping tem celular,
pele lisa e cheiro de alface

p) Patricinha de Petrolina no gosta de patricinha de Juazeiro

x) Arlindo um bom pai e ama todos os seus filhos.

aa) Nenhum filho adolescente de Maria gosta de estudar.
25
Codifique o caso do capito West da aula anterior na sintaxe da
lgica de primeira ordem!

26