flmd_7_quantificadores_predicados_1 (1)

Prévia do material em texto

Quantificadores e Predicados
José Jailton Junior
Email: jjj@prof.iesam-pa.edu.br
Introdução
• A lógica proposional possui representação 
limitada.
• Não possui a capacidade de representar • Não possui a capacidade de representar 
características comuns entre duas sentenças 
diferentes.
Introdução
Quantificadores e Predicados
• A expressão “Para todo x, x > 0 “ não pode ser 
representada pela lógica proposicional.
• A expressão possui dois novos termos:• A expressão possui dois novos termos:
– Quantificador
– Predicado
Quantificador
Quantificadores
• São frases que indicam a quantidade de
objetos pertencentes a uma determinada
propriedade.
- Para todo
- Para cada
- Para Algum
Quantificador Universal
• O quantificador universal tem o significado de 
“para todo” “para todos” “para cada” “para 
qualquer”
No quantificador universal, todos os valores são • No quantificador universal, todos os valores são 
verdadeiros ou todos são falsos.
• Simbologia: 
» ∀ - Para todo
Quantificador Universal
Quantificador Existencial
Quantificadores
Quantificadores