A lógica de primeira ordem, que é uma extensão da lógica proposicional largamente empregada em inteligência artificial, diferencia-se, pois: