Lógicas dos Predicados
Quantificadores
- QUANTIFICADOR EXISTENCIAL (?) Este tipo de quantificador é formado pelas expressões “algum”, “pelo menos um”.
Exemplo:
- Existe algum político honesto. Ou seja,
- Para pelo menos um x, x é um político e x é honesto. Ou ainda,
? x Político(x)^Honesto(x)
Político(João) ^ Honesto(João) V
Político(José) ^ Honesto(José) V
Político(Fulano) ^ Honesto(Fulano) V
Político(Siclano) ^ Honesto(Siclano) V
...