Lógicas dos Predicados
Quantificadores
- A Lógica dos Predicados contém dois quantificadores, chamados UNIVERSAL e EXISTENCIAL.
- QUANTIFICADOR UNIVERSAL (?) Este tipo de quantificador é formado pelas expressões “para todo”, “todo”.
Exemplo:
- Todo gato é mamífero. Ou seja,
- Qualquer que seja x, se x for um gato, então x é mamífero. Ou ainda,
- Para todo x, se x for um gato, então x é mamífero.
?x Gato(x)?Mamífero(x)
Gato(Miau) ?Mamífero(Miau) ^
Gato(Felix) ?Mamífero(Felix) ^
Gato(Priscila) ?Mamífero(Priscila) ^
Gato(Ricardo) ?Mamífero(Ricardo) ^
...