Un literal es una sentencia atómica, a la que sólo se le puede atribuir el valor de verdadero o falso, es decir, una FBF atómica o la negación de una FBF atómica.[4]

Utilizando los ejemplos anteriores:

Laura come mucho.

Christian reprobó.

Ambas sentencias son literales, ya que pueden tomar el valor de verdadero o falso.