Permite representar afirmacoes sobre quantificadores e variáveis.

É mais fácil de manipular para os agentes de inteligência artificial.

Não requer conhecimento prévio sobre o mundo para inferir conclusões.

É mais eficiente computacionalmente do que a lógica proposicional.

Não pode ser usada em tarefas de raciocínio dedutivo.