UNIVERSIDAD NACIONAL DE LUJN CARRERA: Sistemas ASIGNATURA: Matemtica Discreta y Lgica Unidad: Clculo de Proposicional y Clculo de Predicados Ciclo

lectivo 2008 El siguiente resumen y trabajo prctico fue elaborado recuperando material de la siguiente bibliografa: Lgica Computacional, Thomson Editores, Enrique Paniagua Ars Juan Lus Snchez Gonzlez Fernando Martn Rubio

Definicin: La Lgica Formal es la ciencia del razonamiento formalmente vlido Definicin: Una deduccin, razonamiento, argumentacin o inferencia , es un tipo de pensamiento que se basa en la generacin de conocimiento nuevo (la conclusin) a partir de un conocimiento existente (las premisas). Definicin: Una asercin, es un enunciado que puede tener los valores de verdad verdadero o falso Definicin: El orden de evaluacin de las conectivas de una fbf (frmula bien formada) se realiza segn la prioridad de evaluacin: 1: ( junto ) 2: 3: y 4: y Interpretacin: Si queremos interpretar (conocer cual es el valor de verdad) de una frmula, tanto en el Clculo Proposicional como en el Clculo de Predicados, debemos evaluar la frmula de forma composicional, es decir, una vez establecidos los valores de verdad de los elementos atmicos, averiguamos el valor de verdad de la frmula compuesta.

Definicin: Una asignacin, es una funcin que asigna a cada una de las frmulas atmicas del lenguaje Proposicional una valor del conjunto de valores de verdad {V o F}

Definicin: En el Clculo Proposicional, una Tautologa es una frmula tal que toda asignacin hace verdadera su interpretacin; una contradiccin es una frmula tal que toda asignacin hace falsa su interpretacin; y una contingencia Definicin: es una frmula para la que hay alguna asignacin que hace verdadera su interpretacin y alguna otra asignacin que la hace falsa. Dada una asignacin y una evaluacin v, una interpretacin de la frmula proposicional S, que hace que el valor semntico de S sea V se la denomina un modelo de S; en caso contrario se la denomina contramodelo (o contraejemplo). Si todas las interpretaciones de una 1 frmula S sobre un dominio son modelos, se dice que S es una frmula vlida en ese dominio. Si todas las interpretaciones de una frmula S sobre todos los dominios posibles son modelos, se dice que S es una frmula semnticamente vlida.

La Equivalencia Lgica Definicin: Se dice que dos frmulas son lgicamente equivalentes si toman el mismo valor de verdad con toda asignacin, es decir, es lgicamente equivalente a si y slo si para toda asignacin , v() = v(). Propiedades: Propiedad reflexiva: Propiedad de simetra: Si , entonces Propiedad transitiva: Si y , entonces

Equivalencias lgicas ms importantes: (Completar la siguiente tabla) Nombre Equivalencia Ley del Tercio Excluido P P Principio de No contradiccin P P Definicin de la Doble Implicacin en funcin de la PQ Implicacin Definicin de la Implicacin en funcin de la PQ Disyuncin Definicin de la Implicacin en funcin de la PQ Conjuncin P F Leyes de Identidad PV PV Leyes de Dominacin PF PP Leyes de Idempotencia PP Ley de Doble Negacin (P) PQ Leyes conmutativas PQ (P Q) R Leyes Asociativas (P Q) R (P Q) (P R) Leyes Distributivas (P Q) (P R) (P Q) Leyes de Morgan 2(P Q)

La Implicacin Lgica Definicin: Cualquier frmula del tipo P Q que sea una tautologa es una implicacin lgica (). Definicin: Una argumentacin o razonamiento, es vlida, si la conclusin se deduce lgicamente, siempre que se cumplan todas las premisas. Dicho de otro modo, un razonamiento vlido es aquel en el que la conjuncin de todas las premisas implica lgicamente la conclusin.

Demostrar la validez de las argumentaciones siguientes: {P Q, P Q} Q {(P Q) P, Q P, R P} P {P (Q R), R S, Q S} (P S) Implicaciones lgicas ms importantes: (Completar la siguiente tabla) Nombre Equivalencia Ley de Combinacin {P, Q} {P Q} Leyes de Simplificacin {P Q} {P} Leyes de Adicin {Q} Modus Ponens {P Q, P} Modus Tollens {P Q, Q} Silogismo Hipottico {P Q, Q R} {P Q, P} Silogismos Disyuntivos {P Q, Q} Prueba por casos {P Q, P Q} {P Q} Eliminaciones de la Equivalencia {P Q} Introduccin de la Equivalencia {P Q, Q P} Leyes de Inconsistencia {P, P} El mtodos Axiomticos o Teora de la Demostracin Sistema Formal Axiomtico: Definicin: v Un Sistema Formal Axiomtico (SFA) es aquel que permite obtener a partir de un conjunto de axiomas, aplicando sistemticamente un conjunto de reglas de inferencia, los teoremas del sistema. Definicin: Un Sistema Formal Axiomtico (SFA) se representa por la tupla SFA = (A, RS, X, RI, MR), donde A es su alfabeto, RS sus reglas sintcticas, X sus axiomas, RI sus reglas de inferencia y MR sus meta-reglas. Demostrar una frmula en un SFA es una sucesin de pasos, cada uno con los siguientes elementos: 3

1) Nmero del paso 2) Frmula vlida del paso (un axioma, o un teorema demostrado anteriormente) 3) Regla de inferencia aplicada (nombre de la regla aplicada, el paso o pasos anteriores sobre los cuales se aplic la regla y las sustituciones aplicadas) El ltimo elemento de la sucesin es la frmula que queramos demostrar. Ejemplo: Contamos con las premisas: X = {P, P Q, Q R} y queremos demostrar que T = R S deriva de ellas. D/ 1. P Premisa 1 2. PQ Premisa 2 3. QR Premisa 3 4. Q Modus Ponens, 1, 2 5. R Modus Ponens, 3, 4 6. RS Introduccin de la Disyuncin, 5 El mtodo de la Deduccin Natural El propsito de estos sistemas es recoger el modo habitual de argumentar en la vida diaria y permitir un modo ms natural de realizar deducciones A diferencia de los mtodos axiomticos (los cuales parten de un conjunto de enunciados formalmente vlidos) - Parte de un conjunto de enunciados que son premisas admisibles (que no se sabe si son verdaderas o falsas) para obtener frmulas que son verdaderas si lo fueran las premisas. - Las deducciones adquieren protagonismo por sobre las demostraciones - Reglas que establecen como generar inferencias a partir de otras inferencias 1 2 3 4 5 6 7 8 9 Nombre Regla de Sustitucin (RS) Regla de Introduccin de la Conjuncin (RI) Regla de Eliminacin de la Conjuncin (RE) Regla de Introduccin de la Disyuncin (RI) Regla de Eliminacin de la Disyuncin (RE) Regla de Introduccin de la Negacin (RI ) Regla de Eliminacin de la Doble Negacin (RE) Regla de Eliminacin de la Implicacin (RE) Regla de Introduccin de la Implicacin (RI)


, ,

Representacin

Ejemplo: Contamos con las siguientes premisas X = { , }, queremos demostrar T = 4

D/

1. 2. 3. 4. 5. 6.

Premisa Premisa Supuesto (Porqu nuestro primer supuesto es ?) RE, 1, 3 RE, 2, 4 RI, 3, 5

Mtodos Interpretativos: a) Reduccin al absurdo (demostracin indirecta o demostracin por contradiccin) Partiendo de las definiciones de Tautologa y Contradiccin podemos decir que: - La negacin de una Tautologa es una Contradiccin. - La negacin de una Contradiccin es una Tautologa. Otro concepto a recordar es el de Implicacin Lgica (una Tautologa en el que la conjuncin de las premisas implicaba lgicamente la conclusin), podemos decir que la conjuncin de las premisas con un valor Verdadero que implique una conclusin Falsa, jams puede existir. Combinando estas ideas es como se define la estrategia de reduccin al absurdo, que consiste en realizar el supuesto de la negacin de la conclusin, y a partir de ella obtener una contradiccin en las premisas, para finalmente negar el supuesto, es decir, afirmar la conclusin. Ejemplo: Contamos con el siguiente razonamiento: {p, p q, q r} r s (las premisas estn encerradas entre corchetes y la conclusin que queremos probar es el consecuente de la implicacin) D/ 1) Negamos el razonamiento Asignaciones p q r s p Premisas pq qr Conjuncin Premisas Implicacin Lgica F Conclusin rs

2) Si el razonamiento es falso, es verdadero el antecedente (la conjuncin de premisas) y falso el consecuente (la conclusin) Conjuncin Implicacin Asignaciones Premisas Conclusin Premisas Lgica p q r s p pq qr rs V F F 3) Si la conclusin es falsa, r y s son falsas Asignaciones p q r F s F p Premisas pq qr Conjuncin Premisas V Implicacin Lgica F Conclusin rs F

4) Para que la tercera premisa sea verdadera siendo r falsa es que q sea falsa Conjuncin Implicacin Asignaciones Premisas Premisas Lgica p q r s p pq qr F F F V V F

Conclusin rs F

5) Para que las segunda premisa sea verdadera, siendo q falsa es que p sea falsa. Conjuncin Implicacin Asignaciones Premisas Premisas Lgica p q r s p pq qr F F F F V V V F

Conclusin rs F

6) Llegamos a la contradiccin, ya que p debe ser falso como antecedente de la segunda premisa y verdadero en la primera premisa. Por lo tanto el razonamiento es vlido. b) Mtodo de las Tablas Semnticas: (rbol lgico) Este mtodo se basa en que un razonamiento slo puede ser correcto sin la conclusin no es falsa al tiempo que las premisas son verdaderas. El proceso consiste en buscar contraejemplos de forma sistemtica que invaliden el razonamiento, es decir, que negando la conclusin y afirmando las premisas se encuentre alguna contradiccin. Las reglas que nos permiten armar el rbol lgico se denominan Reglas Semnticas y constan de dos partes: una superior donde est la conectiva (afirmada o negada) que podemos descomponer y otra inferior donde estn los componentes descompuestos de la conectiva. Reglas Semnticas:
|

DN (Doble Negacin)

NC (Negacin de la Conjuncin)

( ) | |

( )

ND (Negacin de la Disyuncin)

D (Disyuncin)

NI (Negacin de la Implicacin)

( ) |

I (Implicacin)

NE (Negacin de la Equivalencia)

( ) | |

E (Equivalencia)

Ejemplo: Demostrar el siguiente razonamiento mediante el mtodo del rbol lgico: premisas: {p q s, p t}, conclusin: s 1) Construimos el tronco inicial con las premisas y 2) Descomponemos las frmulas intentando la conclusin negada siempre aplicar la regla de no bifurcacin. 1 pqs 1 pqs 2 pt 2 pt 3 s 3 s 4 p C,2 5 t C,2

3)

4)

1 2 3 4 5 6 (p q) I, 1

pqs pt s p C,2 t C,2 7 s I, 1 6 (p q) I, 1 8 p 9 q

1 2 3 4 5

pqs pt s p C,2 t C,2 7 s I, 1

5) Clausura de las lneas deductivas, disponemos de los caminos (1,2,3,4,5,6,8,9) y (1,2,3,4,5,7). En la primer lnea encontramos una contradiccin entre el nodo 4 y el nodo 8, por lo tanto la lnea deductiva se clausura ah. En la segunda lnea encontramos una contradiccin entre el nodo 3 y el nodo 7. 1 pqs 2 pt 3 s 4 p C,2 5 t C,2 6 (p q) I, 1 7 s I, 1 8 p 6) Las dos trayectorias han sido clausuradas por lo tanto el razonamiento es vlido. c) Mtodo de las Formas Normales: Este mtodo consiste en reducir un razonamiento a otra representacin equivalente que contiene como mximo tres conectivas lgicas: la conjuncin, la disyuncin y la negacin aplicada slo a formulas atmicas. El objetivo de las formas normales es averiguar sin un razonamiento es una tautologa (Forma Normal Conjuntiva, FNC), o si un razonamiento es un contradiccin (Forma Normal Disyuntiva, FND). Forma Normal Conjuntiva (FNC): La frmula resultante debe cumplir las siguientes condiciones: - La conectiva dominante es la conjuncin ( ) - Los componentes , , pueden estar constituidos por uno, varios o incluso el conjunto de los siguientes elementos: Una frmula atmica La negacin de una frmula atmica La disyuncin de frmulas atmicas La disyuncin de frmulas atmicas negadas La disyuncin de frmulas atmicas y frmulas atmicas negadas - Una simple frmula atmica o la negacin de una frmula atmica es una FNC Definicin: Una frmula en FNC es una tautologa si y slo si en cada componente (que debe ser una disyuncin) de la conjuncin principal, contiene una frmula atmica y su negacin Los pasos para obtener una FNC son los siguientes: 1) Eliminacin de las equivalencias y de las implicaciones 2) Interiorizacin de las negaciones 3) Obtencin de la FNC 4) Simplificacin Ejemplo: Averiguar si la frmula (p q) p q es una tautologa mediante su FNC D/ 1) (p q) p q (( p q) p) q ((p q) p) q 8

(p q) p q p q p q 3) (p p q) (q p q) Como la primera literal tiene a la frmula atmica p afirmada y negada y la segunda literal tiene a la frmula atmica q afirmada y negada, la frmula es un tautologa.
2) Forma Normal Disyuntiva (FND): La frmula resultante debe cumplir las siguientes condiciones: - La conectiva dominante es la conjuncin ( ) - Los componentes , , pueden estar constituidos por uno, varios o incluso el conjunto de los siguientes elementos: Una frmula atmica La negacin de una frmula atmica La conjuncin de frmulas atmicas La conjuncin de frmulas atmicas negadas La conjuncin de frmulas atmicas y frmulas atmicas negadas - Una simple frmula atmica o la negacin de una frmula atmica es una FND Definicin: Una frmula en FND es una contradiccin si y slo si en cada componente (que debe ser una conjuncin) de la disyuncin principal, contiene una frmula atmica y su negacin Los pasos para obtener una FND son los siguientes: 1) Eliminacin de las equivalencias y de las implicaciones 2) Interiorizacin de las negaciones 3) Obtencin de la FND 4) Simplificacin Ejemplo: Averiguar si la frmula (p q p r) (s t) es una contradiccin mediante su FND D/ 1) 2) 3) 4) (p q p r) (s t) (p q) (p r) (s t) ((p q) (p r)) (s t) ((p q) (s t) (p r) (s t) (p q s) (p q t) (p r s) (p r t)

Como en ninguna literal se encuentra un componente afirmado y negado, podemos decir que esta frmula no es una contradiccin.