Documentos de Académico
Documentos de Profesional
Documentos de Cultura
ITESM
Lgica Proposicional
Introduccin
En esta lectura veremos los elementos bsicos de lo que se llama Lgica Proposicional o Clculo Proposicional. Iniciaremos con lo que entendemos por proposicin y conectivo lgico. A partir de eso veremos lo que se conoce como tabla de verdad. Con eso se ver lo que se entiende como equivalencia lgica que es base para reduccin de circuitos lgicos y que es usado para entender los casos de los ifs en los programas de computadora.
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Sentencia Declarativa
Una sentencia declarativa es una oracin que arma algo. Ejemplos Son sentencias declarativas: s El curso de Matemticas Discretas est fcil. s El caballo blanco es verde. s Si la luna est llena y no llueve, entonces saldr a caminar. s El ltimo Teorema de Fermat es cierto. s Esta frase es falsa. s x + 3 es impar.
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Ejemplos No son sentencias declarativas: s Est lloviendo? s Hola!, cmo ests? s Tierno suz, casi mbar, casi luz. . . s Qu es en el fondo actuar, sino mentir? Y qu es actuar bien, sino mentir convenciendo?
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Proposicin
Una proposicin es una sentencia declarativa que debe ser verdadera o falsa pero no ambas. Ejemplos Son proposiciones: s El curso de Matemticas Discretas est fcil. s Si la luna est llena y no llueve, entonces saldr a caminar. s El ltimo Teorema de Fermat es cierto.
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Ejemplos No son proposiciones: s Esta frase es falsa x Si la frase es cierta, lo que en ella se dice debe ser cierto, as debe ser falsa. x Si la frase es falsa, lo contrario a lo que en ella se arma es cierto, por consiguiente es cierta. s x + 3 es un nmero impar x Si x = 2 la armacin es cierta. x Si x = 3 la armacin es falsa.
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Variable Proposicional
En nuestro manejo de proposiciones utilizaremos smbolos para representarlas. Estos smbolos se llamarn variables proposicionales. As pondremos p : El curso de Matemticas Discretas est fcil. Indicar que la variable proposicional p representa la proposicin El curso de Matemticas Discretas est fcil.
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Lgica Proposicional
Valor de Verdad
El valor de verdad de una proposicin es una asignacin a uno de los dos posibles valores verdadero o falso. Esta asignacin depender de lo que en la misma proposicin se arme: si es cierto diremos que tiene valor de verdad verdadero y si es falso diremos que tiene valor de verdad falso.
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Operadores Lgicos
Los operadores lgicos sirven para construir proposiciones complejas. s Negacin: p (Lase no p) s Disjuncin: p q (Lase p o q) s Conjuncin: p q (Lase p y q) Estos operadores pueden usarse una o varias veces en forma combinada o no para construir proposiciones ms complejas, por ejemplo p (q (r (p)))
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Jerarqua de Operadores
Para reducir el nmero de parntesis se conviene en una jerarqua de operadores para indicar el orden de precedencia de uno sobre otro. Mayor Jeraqua Menor Jerarqua Ante una disputa de operandos gana el que tiene una mayor jerarqua. As La expresin Se interpreta como
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
pqr p (q r) p q (p) q p s q r (p (s)) ((q) r) Los parntesis deben ser utilizados para forzar el orden de las operaciones.
Lgica Proposicional
Uso de operadores
Supongamos que p: Est caluroso q: Est soleado r: Est lluvioso s: Est hmedo Entonces la representacin de las siguientes armaciones queda: s Est lluvioso y soleado : r q s Est soleado o est lluvioso : q r s Est soleado y no est caluroso : q p s Ni est soleado ni est caluroso : q p s Est soleado pero est lluvioso : q r s Est lluvioso pero no est caluroso : r p
Lgica Proposicional
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Tabla de Verdad
Una tabla de verdad de una proposicin es una descripcin organizada de los valores de verdad de la proposicin para todos los valores posibles de la variables proposicionales que aparecen en ella.
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
p F T
p T F
Lgica Proposicional
p F F T T
q F T F T
pq F T T T
Lgica Proposicional
p F F T T
q F T F T
pq F F F T
Lgica Proposicional
Lgica Proposicional
Equivalencia Lgica
Dos formas proposicionales y se dicen lgicamente equivalentes si y slo si tienen valores de verdad idnticos para cualquier sustitucin de valores de verdad de sus variables proposicionales. Esto se simbolizar
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
De la misma denicin de equivalencia entre FBFs se deduce el procedimiento de vericacin: s Construir las tablas de verdad de ambas expresiones: como dos columnas en una misma tabla. s Comparar las tablas rengln por rengln. s Si rengln a regln tienen el mismo valor de verdad, son equivalentes. s Si hay al menos un rengln donde dieran, no son equivalentes.
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Equivalencia Utilizadas
Comprueba la validez de la ley conmutativa: pqq p p F F T T q F T F T pq F F F T q p F F F T
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Lgica Proposicional
Suposiciones
Tomaremos como vlidas dos reglas importantes que cumple la equivalencia de expresiones lgicas: Propiedad transitiva de la equivalencia Si y , entonces . Propiedad de sustitucin Si y F() es una expresin lgica donde aparece , entonces F() F(). Aqu F() es la expresin que se obtuvo de sustuituir donde apareca en F().
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Ejemplos de Simplicacin
Veamos ahora algunos ejemplos de simplicacin cuya justicacin se basa en las leyes lgicas recien vistas.
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
En el siguiente argumento se simplica una FBF. Indique en orden las leyes que justican cada paso.
1) 3) 5) 7) 9) Ley de identidad Ley de la doble negacin Ley asociativa Ley conmutativa Ley de idempotencia 2) 4) 6) 8) 10) Ley de De Morgan Ley distributiva Ley de dominacin Ley de inversas Ley de absorcin r (p p) r (p p) rT r por 10 por 7) por 8 por 1
(r p) (r p)
Lgica Proposicional
En el siguiente argumento se simplica una FBF. Indique en orden las leyes que justican cada paso.
1) 3) 5) 7) 9) Ley de identidad Ley de la doble negacin Ley asociativa Ley conmutativa Ley de idempotencia (t ( (t q))) (t q) 2) 4) 6) 8) 10) Ley de De Morgan Ley distributiva Ley de dominacin Ley de inversas Ley de absorcin (t ((t) q)) (t q) (t (t q)) (t q) ((t t) q) (t q) (t q) (t q) t (q q) tT t por 2 por 3 por 5 por 9 por 4 por 8 por 1
Lgica Proposicional
Una FBF se dice ser una tautologa si se evalua en verdadero para todos los valores de verdad posibles para sus variables proposicionales; por otro lado se llama contradiccin si es falsa siempre, y se llama contingencia cuando su tabla de verdad tiene tanto verdaderos como falsos. En trminos de equivalencias: es una tautologa si y slo si T; es una contradiccin si y slo si F; y es una contingencia si y slo si no es equivalente ni a T ni a F.
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional
Temas Vistos
s s
s s s s
Concepto de proposicin Variable Proposicional y Frmulas Bien Formadas Conectivos Lgicos: Disjuncin, Conjuncin y Negacin) Tabla de Verdad Equivalencia Lgica Simplicacin argumentada de una FBF Tautologa, Contradiccin, y Contingencia
Introducci n o Sentencia Declarativa Proposici n o Variable Proposicional Primitiva Valor de Verdad Operadores Jerarqua de Operadores Uso de Operadores FBF Tabla de Verdad Tabla Negaci n o Tabla Disjunci n o Tabla Conjunci n o Ejemplo Tabla Equivalencia Equivalencias Suposiciones Ejemplos Simplicaci n o Sumario
Lgica Proposicional