Lógicas dos Predicados
Equivalência de Quantificadores
- Os dois quantificadores estão intimamente relacionados entre si através da negação.
Exemplo:
- Ninguém gosta de pagar impostos.
?? x ? GostarPagar(x,Impostos) ? ? ? x GostarPagar(x,Impostos)
- Como ? é na verdade uma conjunção sobre o universo de objetos e o ? é uma disjunção, não é surpreendente que eles obedeçam as Lei de De Morgan.
? x ? P ? ? ? x P ? P ^ ? Q ? ? (P V Q)
? ? x P ? ? x ? P ? (P ^ Q) ? ? P V ? Q
? x P ? ? ? x ? P P ^ Q ? ? (? P V ? Q)
? x P ? ? ? x ? P P V Q ? ? (? P ^ ? Q)