Lógicas Clássicas
Lógica dos Predicados
- CLASSE DE ATRIBUTOS: São representados pelos substantivos comuns, locuções nominais, adjetivos, locuções adjetivas, verbos e locuções verbais.
- Exemplo:
- Sócrates é um Homem. S é H
- Todo Homem é Mortal. Todo H é M
- Logo, Sócrates é Mortal. S é M
S, H e M não são sentenças, como na Lógica Proposicional, mas Classe de Atributos.
- QUANTIFICADORES: São operadores lógicos, mas em vez de indicarem relações entre sentenças, eles expressam relações entre conjuntos designados pelas classes de atributos, isto é, expressam propriedades de coleções de objetos, evitando que tenhamos de enumerar cada objeto individualmente como na Lógica Proposicional.