Matemticas Discretas LOGICA PROPOSICIONAL (Continuacin)

Consecuencia Lgica
Sean A1, A2, ... , An y B formulas. B es consecuencia lgica de A1, A2, ..., An si y solo si todo modelo de A1 A2 ... An es modelo de B. A1, A2, ... , An B si y solo si la frmula A1 A2 ... An B es VALIDA A1 , A2, ..., An axiomas,postulados o premisas de B

Consecuencia Lgica
Dadas las formulas A1, A2, ... , An y B, se dice que B es consecuencia lgica de A1, A2, ..., An si y solo si la formula A1 A2 ... An B es INSATISFACTIBLE (o inconsistente)

Formas Normales
Estndar de representacin frmulas Literal: frmula atmica afirmada o negada Dos formas normales: Conjuntiva y Disyuntiva Forma Normal Conjuntiva (FNC)
F1 F2 ... Fn para n > 0 donde cada Fi es una disyuncin de literales

Forma Normal Disyuntiva (FND)

F1 F2 ... Fn para n > 0 y donde cada Fi es una conjuncin de literales

Formas Normales
Conjuntiva: (p q) r Disyuntiva: ( p r) (q s) Transformacin frmula en FN Aplicacin equivalencias lgicas Algoritmo de transformacin

Formas Normales
Eliminar conectivos y mediante las equivalencias
( ) ( )

Empujar negaciones (afecte solo literales)

( ) ( )

Formas Normales
Eliminar dobles negaciones

Aplicar equivalencias
( ) ( ) ( ) ( ) ( ) ( )

Se pueden finalmente aplicar(Opcional)

V, v V , V ,

Formas Normales
Calcular FNC de (p q) (p r)
1. 2. 3. 4. 5. 6. (p q) (p r) (p q) (p r) (p q) (p r) (p q p) (p q r) v (p q r) (p q r)

Resolucin en LP
Mecanismo prueba razonamiento Mtodo de refutacin Eficiente (vs. tablas de verdad) Conceptos relacionados Clusula Literales complementarios Resolvente Clusula vaca Regla de Resolucin

Clusula
Disyuncin finita (0 o ms) de literales p q r Conjunto de clusulas denotado por S A = (p q r) p ( r q) q1 El conjunto S de clusulas de A es {p q r, p, r q, q1 }

Clusula Vaca

Clusula sin literales, insatisfactible, denotada por

Regla de Resolucin
Sean C1 y C2 dos clusulas. Si existen literales l y lc tal que l C1 y lc C2 y l y lc son complementarios C1 l , C2 lc C1 C2

Regla de Resolucin: Ejemplo

C1 = p q r C2 = p q1 Resolvente (C1 , C2) = q r q1 p, p son literales complementarios

Regla de Resolucin
C1 = (p q) C2 = (p q) El resolvente entre C1 y C2 es.......

Regla de Resolucin
C1 = p C2 = p El resolvente entre C1 y C2 es.......

Regla de Resolucin
C1 = p C2 = p El resolvente entre C1 y C2 es C1 y C2 son clusulas unitarias y antagnicas

Regla de Resolucin
Dadas dos clusulas C1 y C2, un resolvente C de C1 y C2 es una consecuencia lgica de C1 y C2

Resolucin: Ejemplo
C1 = (p q r), C2 = (p q1) Resol(C1 y C2 )= q r q1 (p q r) (p q1) q r q1 (p q r) (p q1) ( q r q1) debe ser vlida

Resolucin
Ejercicio Demuestre la validez de la frmula (p q r) (p q1) ( q r q1)

Procedimiento de Resolucin
Sea S un conjunto de clusulas. Si la clusula vaca est en S o se puede generar a partir de las clusulas de S, entonces S es insatisfactible Sea S un conjunto de clusulas. Si S es insatisfactible, entonces de S se puede deducir la clusula vaca.

Procedimiento de Resolucin
Teorema Un conjunto S de clusulas es insatisfactible si y slo si la clusula vaca se puede deducir de S

Mtodo de Resolucin
Entrada: Conjunto de Clusulas S Salida: S es satisfactible o insatisfactible

Mtodo de Resolucin
1. S0 = S 2. Asuma que Si se ha construido 3. Escoja un par de clusulas antagnicas C1,C2Si que no se hayan escogido antes 4. Si+1 = Si {C}, donde C=Resol(C1, C2) 5. Si C = termine el procedimiento, S es insatisfactible 6. Si Si+1 = Si para todas las posibles opciones de clusulas antagnicas, termine el procedimiento, S es satisfactible

Ejemplo
Sea S={p, pq, r, pqr} Es S satisfactible?

Resolucin
Demuestre usando resolucin que (p q r) p q r

Resolucin
1. Plantear la consecuencia lgica .
(p q r) p q r

2. Transformar la frmula resultante en Forma

Normal Conjuntiva (FNC) (p q r) p q r

3. Obtener el conjunto S de clusulas de la

formula en FNC S = {p q r, p, q, r}

Resolucin
4. Aplicar la regla de resolucin buscando la clusula vaca 1. p q r 2. p 3. q 4. r 5. q r Resolvente entre 1 y 2 6. r Resolvente entre 5 y 3 7. Resolvente entre 4 y 6

Resolucin
(p q r) p q r, es decir demostramos que la formula (p q r) p q r es vlida

Resolucin
Determine usando resolucin si el siguiente razonamiento es vlido Luis no puede ser buen estudiante a menos que sea inteligente y su padre lo ayude. Por lo tanto, Luis es buen estudiante solo si su padre lo ayuda

Resolucin
Procedimiento
1.Transformar los argumentos en variables . preposicionales p: Luis es un buen estudiante q: Luis es inteligente r: El padre de Luis lo ayuda

Resolucin
2. Simbolizar el razonamiento (p (q r)) (p r) 3. Demostrar que (p r) es una consecuencia lgica de (p (q r)) por refutacin (p (q r)) (p r)

Resolucin
4. Transformar 3. en FNC ( p q) ( p r) p r 5. Obtener el conjunto S de clusulas S = { p q, p r, p, r}

Resolucin
6. Aplicar resolucin buscando la clusula vaca 1. p q 2. p r 3. p 4. r 5. r Resolvente entre 2 y 3 7. Resolvente entre 4 y 5 Por tanto, el razonamiento es vlido