En el contexto del método de resolución es bastante habitual utilizar la palabra cláusula en lugar de la palabra disyunción. A cada uno de los disyuntandos de una cláusula se le denomina literal