3.8.1 La forma clausulada

3.8.1. La forma clausulada

Un literal es una variable proposicional o una variable proposicional negada (o sea, con el símbolo «¬» delante). En el primer caso diremos que es un literal positivo, y, en el segundo, que es un literal negativo. Una cláusula es una sentencia de la forma:

L₁ $\/$ L₂ $\/$ ... $\/$ L_n

donde los L_i son literales.

Una sentencia está en forma clausulada si tiene la forma:

(L₁₁ $\/$ L₁₂ $\/$ ...) $/\$ (L₂₁ $\/$ L₂₂...) $/\$ ...

De una cláusula se dice también que es una colección de literales (implícitamente unidos por disyunciones), y de una sentencia en forma clausulada, que es una colección de cláusulas (implícitamente unidas por conjunciones).

Apelando de nuevo a los conocimientos previos del lector, esto debe resultarle familiar: la forma clausulada de una sentencia se corresponde exactamente con la forma en «suma de productos» de una fórmula booleana

Pues bien, para toda sentencia de la lógica de proposiciones existe una sentencia equivalente en forma clausulada. La demostración es constructiva: hay un procedimiento que permite pasar a forma clausulada cualquier sentencia.

DIT-ETSIT-UPM

Portada