Matemtica Discreta para Computao e Informtica 78

2.1.7 Quantificadores
+ Proposio sobre um conjunto de valores
n > 1
- dependendo do valor de n
- assume valor verdadeiro ou falso
- para cada valor de n considerado, uma proposio diferente
+ Quantificadores
- dada uma proposio sobre um conjunto de valores
- frequentemente desejvel quantificar os valores a serem
considerados
Matemtica Discreta para Computao e Informtica 79
Proposio Sobre um Conjunto

Def: Proposio sobre um Conjunto
Proposio Sobre A
- valor lgico depende do elemento e A considerado

Exp: Proposio sobre N
n > 1
n! < 10
n + 1 > n
2n mpar
Quais proposies so verdadeiras para qualquer n e N?
Matemtica Discreta para Computao e Informtica 80

- proposio a qual descreve alguma propriedade de e A

+ Toda a proposio sobre A determina 2 conjuntos
- Conjunto verdade de
{ e A | verdadeira }
- Conjunto falsidade de
{ e A | falsa }
Matemtica Discreta para Computao e Informtica 81
Exp: Conjuntos Verdade e Falsidade Suponha N
n > 1
- { 2, 3, 4,. } conjunto verdade
- { 0, 1 } conjunto falsidade
n! < 10
- { 0, 1, 2, 3 } conjunto verdade
- { n e N | n > 3 } conjunto falsidade
n + 1 > n
- N conjunto verdade (o prprio conjunto universo)
- C conjunto falsidade
"2n mpar"
- C conjunto verdade
- N conjunto falsidade (o prprio conjunto universo)
Matemtica Discreta para Computao e Informtica 82
+ Uma proposio sobre A
- Tautologia
- se para qualquer e A
- conjunto verdade A
- Contradio
- se para qualquer e A
- conjunto falsidade A
Matemtica Discreta para Computao e Informtica 83
Exp: Tautologia, Contradio Conjunto universo N
n! < 10
- no tautologia nem contradio
- para n = 0, a frmula
- para n = 4, a frmula
n + 1 > n
- tautologia
- conjunto verdade o conjunto universo N
"2n mpar"
- contradio
- conjunto falsidade o conjunto universo N
Matemtica Discreta para Computao e Informtica 84
Quantificador

+ Com frequncia, para uma proposio
- desejvel quantificar os valores de que devem ser considerados
+ Quantificadores so usados em Lgica (suponha
- Quantificador universal, simbolizado por
e A e A e A
- Quantificador existencial, simbolizado por -
- e A - e A - e A
Matemtica Discreta para Computao e Informtica 85
+ Denotao alternativa para e A e - e A
- quando claro o conjunto de valores

- - -

+ Leitura de e A
qualquer , ou para todo ,

+ Leitura de - e A
existe pelo menos um tal que ou existe tal que
Matemtica Discreta para Computao e Informtica 86
+ Como a leitura induz, o valor verdade de uma
proposio quantificada
- e A verdadeira
- se for verdadeira para todos os elementos de A
- - e A verdadeira
- se for verdadeira para pelo menos um elemento de A
Matemtica Discreta para Computao e Informtica 87
Def: Quantificador Universal, Quantificador Existencial
Seja proposio lgica sobre um conjunto A
Quantificador Universal: e A
- , se o conjunto verdade for A
- , caso contrrio
Quantificador Existencial: -
- , se o conjunto verdade for no vazio
- , caso contrrio
Matemtica Discreta para Computao e Informtica 88
Exp: Quantificador Universal, Quantificador Existencial
n e N n < 1
-n e N n < 1
n e N n! < 10
-n e N n! < 10
n e N n + 1 > n
-n e N n + 1 > n
n e N 2n par
-n e N 2n par
Sempre que uma proposio quantificada universalmente verdadeira
- a mesma proposio quantificada existencialmente verdadeira
- vale sempre ???
Matemtica Discreta para Computao e Informtica 89
+ Generalizao de

1 2
,.
n
- descreve alguma propriedade de
1
e A
1
,
2
e A
2
,.,
n
e A
n

- cada elemento
1
,
2
,.,
n
pode ser individualmente quantificado
- a ordem dos quantificadores existencial e universal
- pode alterar o valor verdade da proposio
- Exemplo, para o conjunto universo N, tem-se que
- n -m n < m
- -m n n < m
Matemtica Discreta para Computao e Informtica 90
Obs: Existe pelo menos um Existe um nico
comum quantificar existencialmente de forma nica
- simbolizado por -!
- existe um elemento e este nico
- no pode existir mais de um

-!n e N n < 1 -n e N n < 1
-!n e N n! < 10 -n e N n! < 10
-!n e N n + 1 > n -n e N n + 1 > n
-!n e N 2n par -n e N 2n par
Matemtica Discreta para Computao e Informtica 91
Obs: Existe pelo menos um Existe um nico
-! equivalente a
-! - . .
- primeiro termo: existe
- segundo termo: nico
Matemtica Discreta para Computao e Informtica 92
Negao de Proposies Quantificadas
Negao de proposio quantificada intuitiva
e A
e A , se for para todos os elementos de A
Negao: no para todos os elemento de A
- existe pelo menos um tal que no fato que
e A -
Raciocnio anlogo para - e A
- e A
Matemtica Discreta para Computao e Informtica 93
Exp: Negao de Proposies Quantificadas
n e N n < 1 -n e N n > 1
-n e N n < 1 n e N n > 1
n e N n! < 10 -n e N n! > 10
-n e N n! < 10 n e N n! > 10
n e N n + 1 > n -n e N n + 1 s n
-n e N n + 1 > n n e N n + 1 s n
n e N 2n par -n e N 2n no par
-n e N 2n par n e N 2n no par

Matemtica Discreta para Computao e Informtica 94
+ Negao pode ser estendida para proposies que
dependem de n elementos individualmente
quantificados

Exp: Negao de Proposies Quantificadas
Proposies quantificadas
- n -m n < m
- -m n n < m
Negao
- -n m n > m
- m -n n > m