WARNING:
JavaScript is turned OFF. None of the links on this concept map will
work until it is reactivated.
If you need help turning JavaScript On, click here.
Este Cmap, tiene información relacionada con: Logica_de_predicado, Termos podem ser Variáveis, Lógica de Predicados trabalha com Termos, Termos podem ser Predicados, Funções identifica um Objetos, Predicados retornam boolean, Lógica de Predicados também chamado de Cálculo de Predicados, Funções possuem Argumentos, Termos podem ser Constantes, Propriedades dos Objetos, Lógica de Predicados manipula as Propriedades, Lógica de Predicados utiliza Quantificadores, Relações dos Objetos, Quantificadores podem ser Quantificadores, Lógica de Predicados manipula as Relações, Termos podem ser Funções, Quantificadores podem ser Existenciais, Predicados possuem Argumentos, Lógica de Predicados é uma extensão da Lógica de Proposições, Constantes podem ser Alfa-Numéricos, Lógica de Predicados utilizado no Processamento de Conhecimento