Lógicas dos Predicados
Quantificadores Aninhados
- Eventualmente desejamos expressar sentenças mais complexas com múltiplos quantificadores.
Exemplos:
- Para todo x e todo y, se x é pai de y, então y é filho de x.
??x,y Pai(x,y) ? Filho(y,x)
- Bob ama Cathy.
?Ama(Bob, Cathy)
- Todo mundo ama Cathy.
? ??x Ama(x, Cathy)
- Todo mundo ama alguém.
? ??x ? y Ama(x,y)
- Existe alguém que ama a todos.
? ? x ??y Ama(x,y)
- Existe alguém que é amada por todos.
? ?? y ?x Ama(x,y)
- A ordem dos quantificadores é importante!