A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

©Prof. Lineu MialaretAula 9 - 1/28Matemática Discreta 1 Instituto Federal de Educação, Ciência e Tecnologia de São Paulo - IFSP Campus de Caraguatatuba.

Apresentações semelhantes


Apresentação em tema: "©Prof. Lineu MialaretAula 9 - 1/28Matemática Discreta 1 Instituto Federal de Educação, Ciência e Tecnologia de São Paulo - IFSP Campus de Caraguatatuba."— Transcrição da apresentação:

1 ©Prof. Lineu MialaretAula 9 - 1/28Matemática Discreta 1 Instituto Federal de Educação, Ciência e Tecnologia de São Paulo - IFSP Campus de Caraguatatuba 1 0 Semestre de 2013 Matemática Discreta 1 – MD 1 Prof. Lineu Mialaret Aula 9: Quantificadores, Predicados e Validade (1)

2 ©Prof. Lineu MialaretAula 9 - 2/28Matemática Discreta 1 Introdução n Fbfs proposicionais tem uma possibilidade limitada de expressão. H A expressão “Para todo x, x>0” pode ser considerada uma proposição verdadeira sobre os inteiros positivos (ela tem valor lógico verdadeiro). H Porém ela não pode ser simbolizada adequadamente usando-se apenas letras, parênteses e conectivos lógicos. n Para se representar expressões desse tipo são incorporados dois novos conceitos: H Quantificador. H Predicado.

3 ©Prof. Lineu MialaretAula 9 - 3/28Matemática Discreta 1 Quantificadores e Predicados (1) n Quantificadores representam frases do tipo “para todo”, “para cada”, “qualquer que seja”, “para qualquer” ou “para algum”, que dizem quantos objetos têm ou possuem uma determinada propriedade (ou atendem uma dada condição) em um dado conjunto de objetos, denominado Universo de Discurso (UoD) ou Conjunto Universo. H O Quantificador Universal é simbolizado por  (que se lê: “para todo” ou “para cada”, etc.) n A sentença “Para todo x, x>0”, fica representada por (  x)(x>0) ou  x(x>0). H O quantificador atua sobre a expressão dentro do segundo parênteses.

4 ©Prof. Lineu MialaretAula 9 - 4/28Matemática Discreta 1 Quantificadores e Predicados (2) n Exemplo: H Considere A ={a,b,c,d} o conjunto universo e uma propriedade p(x) qualquer. H Dizer que (  x  A)p(x) (ou opcionalmente (  x)p(x) ou  xp(x) é verdade equivale a dizer que 4 p(a) ^ p(b) ^ p(c) ^ p(d) é verdade. n Outro Exemplo: H Considere A ={3,5,7,11,12} e p(x) é a propriedade “x é primo”. H Dizer que (  x  A)p(x) é verdade equivale dizer que 4 3 é primo ^ 5 é primo ^ 7 é primo ^ 11 é primo é verdade.

5 ©Prof. Lineu MialaretAula 9 - 5/28Matemática Discreta 1 Quantificadores e Predicados (3) n Outro Exemplo: H Seja o conjunto universo de x: 4 “vaga de estacionamento do IF de Caraguatatuba” e H Seja p(x) o predicado: 4 “está cheia”. H Logo a quantificação universal de p(x), (  x)p(x), é uma proposição (possui um valor lógico). 4 Todas as vagas de estacionamento do IF de Caraguatatuba estão cheias. 4 Toda vaga de estacionamento do IF de Caraguatatuba está cheia. 4 Para cada vaga de estacionamento do IF de Caraguatatuba, o espaço de estacionamento está cheio.

6 ©Prof. Lineu MialaretAula 9 - 6/28Matemática Discreta 1 Quantificadores e Predicados (4) n Outro Exemplo: H Seja a proposição (  n  N)(n + 5 > 3) 4 Seu valor lógico é verdadeiro. H Seja a proposição (  n  N)(n + 5 > 7) 4 Seu valor lógico é falso. n Um outro exemplo: H Seja a proposição (  x  F), onde F é o conjunto de todas as flores e a propriedade p(x) é que x é amarelo. 4 Qual é o valor lógico de (  x)p(x)?

7 ©Prof. Lineu MialaretAula 9 - 7/28Matemática Discreta 1 Quantificadores e Predicados (5) n A frase “x>0” descreve uma propriedade (uma condição) da variável x, a de ser positiva. H Uma propriedade é chamada de predicado. H A notação P(x) é usada para representar alguma propriedade ou predicado, não explicitada, que a variável x possa ter. n Dessa forma, a expressão anterior “Para todo x, x>0” assume a seguinte forma geral: H (  x)P(x) ou (  x)p(x). H Ou sem o parêntesis, H  xP(x) ou  xp(x).

8 ©Prof. Lineu MialaretAula 9 - 8/28Matemática Discreta 1 Quantificadores e Predicados (6) n O valor lógico da expressão (  x)(x>0) depende do domínio dos objetos sobre os quais se está referindo, ou seja, a coleção de objetos das quais pode-se escolher x. n Essa coleção ou domínio é chamada de Conjunto Universo (ou UoD). H Exemplo: 4 Se o conjunto universo for o conjunto dos inteiros positivos, a expressão (  x)(x>0) tem valor lógico verdadeiro. 4 Se o conjunto universo for o conjunto de todos os inteiros, a expressão tem valor lógico falso.

9 ©Prof. Lineu MialaretAula 9 - 9/28Matemática Discreta 1 Quantificadores e Predicados (7) O Quantificador Existencial é simbolizado por , o qual se lê: “existe”, “existe algum”, “há pelo menos um” ou “para algum”: n Dessa forma, a expressão (  x)(x>0) é lida como: H Existe um x tal que x é maior que zero. O valor lógico da expressão (  x)(x>0) depende do domínio (conjunto universo) dos objetos envolvidos (que está-se referenciando). n Exemplo: H Se o domínio (conjunto universo) contiver um número inteiro positivo, a expressão tem valor lógico verdadeiro. H Caso contrário, a expressão terá valor falso.

10 ©Prof. Lineu MialaretAula 9 - 10/28Matemática Discreta 1 Quantificadores e Predicados (8) n Exemplo: H Considere A ={a,b,c,d} e uma sentença p(x) qualquer. H Dizer que (  x  A)p(x) é verdade equivale a dizer que 4 p(a) ∨ p(b) ∨ p(c) ∨ p(d) é verdade. n Exemplo: H Considere A ={3,4,5,7} e p(x) é a propriedade “x é par”. H Dizer que (  x  A)p(x) é verdade equivale a dizer que 4 3 é par ∨ 4 é par ∨ 5 é par ∨ 7 é par é verdade.

11 ©Prof. Lineu MialaretAula 9 - 11/28Matemática Discreta 1 Quantificadores e Predicados (9) n Exemplo: H Seja o conjunto universo de x: 4 “vaga de estacionamento do IF de Caraguatatuba” H p(x) o predicado: 4 “está ocupada”.  Logo a quantificação existencial de P(x), (  x)P(x), é uma proposição (possui um valor lógico). 4 Alguma vaga de estacionamento do IF de Caraguatatuba está ocupada. 4 Existe uma vaga de estacionamento do IF de Caraguatatuba que está ocupada. 4 Pelo menos uma vaga de estacionamento do IF de Caraguatatuba está ocupada.

12 ©Prof. Lineu MialaretAula 9 - 12/28Matemática Discreta 1 Quantificadores e Predicados (10) n Exemplo:  Seja a proposição (  n  N)(n + 4 < 8) 4 Seu valor lógico é verdadeiro.  Seja a proposição (  n  N)(n + 5 < 3) 4 Seu valor lógico é falso.

13 ©Prof. Lineu MialaretAula 9 - 13/28Matemática Discreta 1 Quantificadores e Predicados (10) n Exercício1 - Forneça uma interpretação para a qual (  x)p(x) tem valor lógico falso.

14 ©Prof. Lineu MialaretAula 9 - 14/28Matemática Discreta 1 Quantificadores e Predicados (10) n Exercício1 - Forneça uma interpretação para a qual (  x)p(x) tem valor lógico falso. n Resposta: H O conjunto universo é o conjunto de todos os peixes; e p(x) é a propriedade que x pesa mais de um quilo e meio.

15 ©Prof. Lineu MialaretAula 9 - 15/28Matemática Discreta 1 Quantificadores e Predicados (10) Exercício 2 – Será possível encontrar uma interpretação na qual, ao mesmo tempo, (  x)p(x) tem valor lógico verdadeiro e (  x)p(x) tem valor lógico falso?

16 ©Prof. Lineu MialaretAula 9 - 16/28Matemática Discreta 1 Quantificadores e Predicados (10) Exercício 2 – Será possível encontrar uma interpretação na qual, ao mesmo tempo, (  x)p(x) tem valor lógico verdadeiro e (  x)p(x) tem valor lógico falso? n Resposta: H Não, se todos os objetos no conjunto universo satisfazem a propriedade p(x), então (como o conjunto universo deve conter no mínimo um objeto) existe um objeto no conjunto universo com a propriedade p(x).

17 ©Prof. Lineu MialaretAula 9 - 17/28Matemática Discreta 1 Quantificadores e Predicados (10) Exercício 3 – Será possível encontrar uma interpretação na qual, ao mesmo tempo, (  x)p(x) tem valor lógico falso e (  x)p(x) tem valor lógico verdadeiro?

18 ©Prof. Lineu MialaretAula 9 - 18/28Matemática Discreta 1 Quantificadores e Predicados (10) Exercício 3 – Será possível encontrar uma interpretação na qual, ao mesmo tempo, (  x)p(x) tem valor lógico falso e (  x)p(x) tem valor lógico verdadeiro? n Resposta: H Seja o conjunto universo constituído do conjunto de todas as pessoas que vivem em Caraguatatuba; seja p(x) a propriedade que x é do sexo masculino. Observe que nem todo mundo que vive em Caraguatatuba é do sexo masculino, mas existe alguém que é.

19 ©Prof. Lineu MialaretAula 9 - 19/28Matemática Discreta 1 Quantificadores e Predicados (11) n Os predicados vistos até agora envolvem apenas uma variável. H São denominados de predicados unários. H Eles podem ser binários, ternários, etc. H Exemplo: 4 (  x)(  y)Q(x,y) n A expressão (  x)(  y)Q(x,y) é lida como “para todo x existe um y tal que Q(x,y)”. H Se o conjunto universo é o dos números inteiros e Q(x,y) é a propriedade x<y, a expressão é verdadeira. H Seja a expressão (  y)(  x) Q(x,y) 4 Qual é seu valor lógico?

20 ©Prof. Lineu MialaretAula 9 - 20/28Matemática Discreta 1 Quantificadores e Predicados (12) n Em expressões do tipo (  x)P(x) ou  (x)P(x), a variável x é chamada de variável muda ou aparente, ou seja, o valor da expressão permanece o mesmo, em uma dada interpretação, se as expressões forem escritas como (  y)P(y) ou  (z)P(z). n Exemplo: H (  x)(x é mortal) e (  Fulano)(Fulano é mortal). H (  x) (x foi à Lua) e (  Fulano) (Fulano foi à Lua).

21 ©Prof. Lineu MialaretAula 9 - 21/28Matemática Discreta 1 Quantificadores e Predicados (13) n Pode-se ter constantes (a,b,c,1,2,...) nas expressões (qualquer que seja o número de variáveis envolvidas), como um objeto específico do domínio. H Exemplo: seja a expressão (  x)Q(x,a) 4 Ela é falsa –no caso em que o domínio (ou conjunto universo) é o conjunto dos números inteiros, –e o predicado Q(x,y) é a propriedade x<y e a constante a tem o valor de 7.

22 ©Prof. Lineu MialaretAula 9 - 22/28Matemática Discreta 1 Quantificadores e Predicados (14) n Definição - uma Interpretação para uma expressão lógica envolvendo predicados consiste em: H Uma coleção de objetos, chamada de conjunto universo ou domínio da interpretação, incluindo pelo menos um objeto. H A especificação de uma propriedade dos objetos do domínio para cada predicado da expressão. H A atribuição de um objeto particular no conjunto universo para cada símbolo constante na expressão. n Expressões podem ser construídas combinando-se predicados com qualificadores, parênteses, e conectivos lógicos. H Devem obedecer regras de sintaxe. H Fbfs com predicados e quantificadores são fbfs predicadas.

23 ©Prof. Lineu MialaretAula 9 - 23/28Matemática Discreta 1 Quantificadores e Predicados (15) n Exemplo de uma fbf não predicada: H P(x)(  x) ^ (  y). n Exemplos de fbfs predicadas: H P(x) ∨ Q(y). H (  x)(P(x) → Q(x)). H (  x)S(x) ∨ (  y)T(y).

24 ©Prof. Lineu MialaretAula 9 - 24/28Matemática Discreta 1 Quantificadores e Predicados (16) n Escopo: H Os símbolos de agrupamento (parênteses e opcionalmente os colchetes) identificam o escopo de um quantificador, a parte da fbf predicada à qual o quantificador se aplica. H Em (  x)(P(x) → Q(x)), o escopo do quantificador  x é P(x) → Q(x). H Em (  x)S(x) ∨ (  y)T(y), o escopo de (  x) é S(x) e o escopo de (  y) é T(y). H Na expressão (  y)(  x)(R(y,b,t)  (  z)P(z,a)) tem-se os seguintes quantificadores e seus respectivos escopos - 4 (  y): (  x)(R(y,b,t) → (  z) P(z,a)). 4 (  x): (R(y,b,t) → (  z) P(z,a)). 4 (  z): P(z,a).

25 ©Prof. Lineu MialaretAula 9 - 25/28Matemática Discreta 1 Quantificadores e Predicados (17) n Variável Livre: H Se alguma variável ocorre numa fbf predicada onde ela não faz parte de um quantificador e nem está no escopo de um quantificador envolvendo a variável, ela é denominada de variável livre. H Se há um quantificador que incide sobre a variável, diz-se que ela é uma variável aparente ou muda. n Exemplo: H Na expressão (  x)(Q(x,y) → (  x)R(x,y)) H A variável y é uma variável livre (pois a sua primeira ocorrência não é como variável de quantificador e nem está no escopo de um quantificador envolvendo y.)

26 ©Prof. Lineu MialaretAula 9 - 26/28Matemática Discreta 1 Quantificadores e Predicados (18) n Outro Exemplo: H Na expressão (  x)(3x – 1 = 14) H A variável x é uma variável aparente ou muda, pois ela faz parte de um quantificador.

27 ©Prof. Lineu MialaretAula 9 - 27/28Matemática Discreta 1 Quantificadores e Predicados (10) n Exercício 4 – Encontrar o valor lógico da fbf predicada abaixo, H (  x)(A(x) ∧ (  y)(B(x,y) → C(y)) H Com a seguinte interpretação: 4 O conjunto universo é o conjunto dos inteiros 4 A(x) significa x>0 4 B(x,y) significa x>y 4 C(y) significa y ≤ 0

28 ©Prof. Lineu MialaretAula 9 - 28/28Matemática Discreta 1 Quantificadores e Predicados (10) n Exercício 4 – Encontrar o valor lógico da fbf predicada abaixo, H (  x)(A(x) ∧ (  y)(B(x,y) → C(y)) H Com a seguinte interpretação: 4 O conjunto universo é o conjunto dos inteiros 4 A(x) significa x>0 4 B(x,y) significa x>y 4 C(y) significa y ≤ 0 n Resposta: H Seja x = 1; então x é positivo, e qualquer número inteiro menor do que x é ≤ 0, de modo que o valor lógico da expressão é verdadeiro.


Carregar ppt "©Prof. Lineu MialaretAula 9 - 1/28Matemática Discreta 1 Instituto Federal de Educação, Ciência e Tecnologia de São Paulo - IFSP Campus de Caraguatatuba."

Apresentações semelhantes


Anúncios Google