2.2.1.4 Cláusula

 

Una cláusula es una fbf (fórmula bien formada) que no contiene instancias del conector ^ , o en otras palabras es una disyunción de literales.[4]

Es decir:

Paola no vino a la escuela o no la vi.

es una cláusula, ya que no contiene el conector 'y'.