2.2.1.3 Literal

 

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.