A base de conhecimento de uma empresa está escrita na lingua...
Próximas questões
Com base no mesmo assunto
Q1205913
Programação
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