(1,0) 1 -
A base de conhecimento de uma empresa está escrita na linguagem da lógica proposicional. As inserções de novas fórmulas nessa base são feitas através de um procedimento que, antes de inserir a fórmula, verifica se ela é consistente com a base. A intenção desse procedimento é evitar
Recuperar senha
