siguiente anterior arriba atrasadelante (solo si previamente se ha ido atras)

3.8.2. Transformación en forma clausulada

El procedimiento para encontar la sentencia en forma clausulada equivalente a cualquier sentencia consiste en transformaciones sucesivas de ésta teniendo en cuenta algunas de las equivalencias entre sentencias que hemos listado en el Apartado 3.4.2 (etiquetadas con un número de 1 a 10). Podemos descomponerlo en tres pasos:

  1. Eliminar condicionales y bicondicionales, aplicando la equivalencia (9), es decir:
    f ==> y =_ ¬f \/ y
    y que, por definición, f <==> y =_ (f ==> y) /\ y ==> f
  2. Introducir negaciones mediante las equivalencias (1) (doble negación), (2) y (3) (de Morgan):
    ¬(¬f) =_ f
    ¬(f \/ y) =_ ¬f /\ ¬y
    ¬(f /\ y) =_ ¬f \/ ¬y
  3. Distribuir « /\ » con la equivalencia (4):
    L1 \/ (L2 /\ L3) =_ (L1 \/ L2) /\ (L1 \/ L3)


siguiente anterior arriba atrasadelante (sólo si previamente se ha ido atras)

algunos derechos reservados DIT-ETSIT-UPM
Portada