Questão 766006

permite representar objetos, suas propriedades, relações entre eles e usar quantificadores.

trabalha apenas com proposições indivisíveis e operadores lógicos básicos.

baseia-se exclusivamente em tabelas-verdade para inferências.

é limitada a problemas em que todas as proposições são verdadeiras ou falsas.

não suporta representação de relações complexas entre entidades.