Disciplina: Matemtica Computacional Prof.

Diana de Barros Teles

AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE

Quantificadores: so frases do tipo para todo, ou para cada, ou para algum, isso , frases que dizem quantos objetos, em algum sentido, tem uma determinada propriedade. O quantificador universal simbolizado por , e se l para todo, para qualquer ou para cada. Predicados: a propriedade de uma determinada sentena. A notao P (x).
Observe a sentena: Para todo x, x > 0 Essa uma proposio verdadeira sobre os inteiros positivos. Ela contm o quantificador - Para todo x , e o predicado x > 0. Logo a sentena acima pode ser simbolizada por: ( x )(x > 0), mas como x > 0 o predicado, podemos colocar ainda numa forma mais geral: ( x )(Px) O Valor lgico dessa expresso depende do domnio dos objetos sobre os quais estamos nos referindo, isso , a coleo de objetos dentre os quais x pode ser escolhido. Essa coleo se chama domnio de interpretao, ou conjunto universo. Exemplo 1: Se o conjunto universo consiste em todos os livros em sua biblioteca municipal. Se (Px) a propriedade de x ter a capa vermelha. Logo ( x )(Px) diz que: todos os livros em sua biblioteca municipal tm capa vermelha. claro que o valor lgico dessa expresso, com essa interpretao, deve ser falso. Exemplos 2: Qual o valor lgico da expresso ( x )(Px) nas duas interpretaes:

A)(Px) a propriedade que x amarelo e o conjunto universo o conjunto de todos os botes de ouro. (verdadeira) B) (Px) a propriedade que x amarelo e o conjunto universo o conjunto de todas as flores. (falsa)

Quantificador existencial: simbolizado por

um, existe algum ou para algum.

, e se l existe, h pelo menos

Assim a expresso ( x )(x > 0), pode ser lida existe um x tal que x maior que zero. Exemplo 3: Se o conjunto universo consiste em todos os livros em sua biblioteca municipal. Se (Px) a propriedade de x ter a capa vermelha. Logo ( x )(Px) diz que: em sua biblioteca municipal tem pelo menos um livro de capa vermelha. claro que o valor lgico dessa expresso, com essa interpretao, deve ser verdadeiro. Os predicados que vimos envolvem propriedades de uma nica varivel, so os predicados unrios. Mas eles podem ser binrios, se envolvem duas variveis, ternrios, envolvendo propriedades de trs variveis e assim por diante. Exemplo: Na expresso: ( x) ( y) Q(x,y) que lida como para todo x existe um y tal que Q(x,y), h dois predicados para as duas variveis da propriedade binria.

ATENO: a ordem dos quantificadores muito importante, ela altera a interpretao.

O QUE NECESSRIO PARA UMA INTERPRETAO: 1) Uma coleo de objetos, chamada de conjunto universo, que precisa incluir pelo menos um objeto. 2) A especificao de uma propriedade dos objetos no domnio para cada predicado na expresso. 3) A atribuio de um objeto particular no conjunto universo para cada smbolo constante na expresso.

SMBOLOS DE AGRUPAMENTO, como parnteses ou colchetes, identificam o escopo de um quantificador, a parte da fbf qual o quantificador se aplica. Exemplo 4: 1) P (x) v Q (x) no tem quantificadores 2) ( x ) P ( x ) Q ( x )

Exemplo 5: Na fbf

( x )( y )[ S ( x , y ) L ( y , a )

Considere a interpretao onde o conjunto universo consiste em todas as cidades do Brasil, S(x,y) a propriedade x e y esto no mesmo estado L(y,z) a propriedade o nome da cidade y comea com a mesma letra que a cidade ze atribudo o valor Alfenas a a. Logo a interpretao da fbf inteira que para qualquer cidade x existe uma cidade no mesmo estado que comea com a letra A. Com essa interpretao, a fbf verdadeira.

TRADUO
Muitas declaraes em portugus podem ser expressas como fbfs predicadas. Exemplo: Todo papagaio feio Significa, de fato, que Dada uma coisa, se um papagaio, ento feio. Denotando por P(x) a frase x um papagaio e por F(x) x feio, a proposio pode ser simbolizada como:

A fbf ( feio.

x) [P(x)

F(x)] seria uma traduo incorreta, pois diz que Dado x, x papagaio e

x) [P(x)

F(x)]

4) (

x) a expresso inteira entre parnteses.

x)S (x) ( y )T ( y )

o escopo de (

x ) S(x) e o escopo de (

3) ( x )(( y )[ P ( x, y ) Q ( x, y )] R( x )) o escopo de (

y ) P(x,y)

o escopo do quantificador P(x)

Q(x) Q( x,y),e o escopo de y) T(y).

ATENO:

esto quase sempre juntos.

Analogamente, Existe um papagaio feio Significa que Existe alguma coisa que , ao mesmo tempo, papagaio e feio. Simplificamente:

ATENO: e

esto quase sempre juntos.

Os advrbios s, somente e apenas so particularmente problemticos, pois sua colocao em uma sentena pode alterar completamente o significado. Observe as trs sentenas abaixo: Joo ama apenas Maria. Elas podem ser reescritas como: Se Joo ama alguma coisa, ento essa coisa Maria. Se alguma coisa ama Maria, ento essa coisa Joo. Se Joo tem alguma relao com Maria, essa relao amor.

Apenas Joo ama Maria.

Joo apenas ama Maria.

Dados:

A(x) x um cachorro B(y) y um coelho C(x) x persegue y

Observe a tabela abaixo:

( x) [P(x)

F(x)]

Declarao em Proposio intermediria Portugus 1. Todos os cachorros Dada uma coisa qualquer, se perseguem todos os for um cachorro, ento, para coelhos. qualquer outra coisa, se essa outra coisa for um coelho, ento o cachorro vai persegui-lo. 2. Alguns cachorros Existe uma coisa que um perseguem todos os cachorro e, para qualquer coelhos. outra coisa, se essa coisa um coelho, ento o cachorro o persegue. 3. Apenas cachorros Para qualquer coisa, se um perseguem coelhos. coelho, ento, se alguma coisa o persegue, essa coisa um cachorro.

Fbf

( x )[A( x ) ( y) (B( y ) C ( x, y ))]

( x )[A( x ) ( y) (B( y) C ( x, y))]

( y)[B( y)

( x) (C( x , y) A( x ))]

VALIDADE
O valor lgico de uma fbf proposicional depende dos valores lgicos atribudos s letras
de proposio. O valor lgico de uma fbf predicada depende da interpretao. Portanto, escolher uma interpretao para uma fbf predicada anlogo a escolher valores lgicos para um fbf proposicional. Uma fbf predicada vlida se ela verdadeira para todas as interpretaes possveis. Se pudermos encontrar uma nica interpretao de modo que a fbf tenha o valor falso ou no tenha valor lgico, ento a fbf no vlida. No existe algoritmo para determinar se uma fbf predicada vlida. Exemplos: Vamos agora tentar determinar a validade: 1. ( x ) P ( x ) ( vlida) ( x)P (x) Se todo elemento do conjunto universo tem uma determinada propriedade, ento existe um elemento do conjunto que tem essa propriedade. Logo sempre que o antecedente for verdadeiro o conseqente tambm o , o condicional verdadeiro. 2. ( x ) P ( x )

P (a )

( vlida)

Como todo elemento do conjunto universo tem uma determinada propriedade, e a um elemento particular do conjunto universo, portanto ele tem a propriedade que todos os elementos tm. 3. ( x )[ P ( x )

Se P e Q forem verdadeiras para todos os elementos do domnio, ento P verdadeira para todos os elementos e Q verdadeira para todos os elementos, e vice-versa.

Por exemplo, como a interpretao onde o domnio o conjunto dos inteiros e P(x) significa que x par, verdade que existe um inteiro par, mas falso que todos os inteiros so pares. O antecedente do condicional verdadeiro e o conseqente falso. Logo o condicional falso.

;VF=F)

4. (

; V V = V ou F F = V) (no vlida)

x)P (x)

x)P (x)

Q ( x )]

( x)P (x)

( x ) Q ( x ) ( vlida)