Na Inteligência Artificial, a representação do conhecimento é essencial para permitir que os sistemas compreendam e ajam de maneira inteligente. Dentre as diversas formas de representação do conhecimento, a Lógica de Primeira Ordem é uma abordagem poderosa.

Considere o seguinte enunciado:

"Para todo x, se x é um humano, então x é mortal."

A forma lógica mais apropriada para representar essa afirmação na Lógica de Primeira Ordem é