Matemticas Discretas TC1003

Lgica Proposicional: Proposiciones, Conectivos, Tablas de Verdad y Equivalencias

Departamento de Matemticas / Centro de Sistema Inteligentes

ITESM

Lgica Proposicional

Matemticas Discretas - p. 1/43

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

Matemticas Discretas - p. 2/43

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

Matemticas Discretas - p. 3/43

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

Matemticas Discretas - p. 4/43

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

Matemticas Discretas - p. 5/43

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

Matemticas Discretas - p. 6/43

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

Matemticas Discretas - p. 7/43

Proposiciones Primitiva y Compuestas

Una proposicin primitiva es una proposicin que no se puede descomponer en hechos ms simples. Ejemplos s El curso de matemticas discretas est fcil. s El caballo blanco es verde. Una proposicin compuesta es una proposicin que no es primitiva. Ejemplos s Si la luna est llena y no llueve, salgo a caminar. s Yo contrat el cable bsico, como 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

Matemticas Discretas - p. 8/43

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

Matemticas Discretas - p. 9/43

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

Matemticas Discretas - p. 10/43

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

Matemticas Discretas - p. 11/43

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

Matemticas Discretas - p. 12/43

Frmula Bien Formada

Una frmula bien formada (FBF por sus sglas en ngles WFF) o tambin llamada forma proposicional es una expresin donde aparecen variables proposicionales, las constantes T(verdadero) o F (falso), operadores lgicos y parntesis: bien balancedos los parntesis, los operadores lgicos indicados y con el nmero de argumentos correctos. Son FBFs: p , p q , p (q ((r) s)) No FBSs: p q , r (q ) , (s r) (qp)
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

Matemticas Discretas - p. 13/43

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

Matemticas Discretas - p. 14/43

Tabla de Verdad de la Negacin

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

p F T

p T F

Lgica Proposicional

Matemticas Discretas - p. 15/43

Tabla de Verdad de la Disjuncin

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

p F F T T

q F T F T

pq F T T T

Slo es F cuando sus argumentos son ambos falsos.

Lgica Proposicional

Matemticas Discretas - p. 16/43

Tabla de Verdad de la Conjuncin

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

p F F T T

q F T F T

pq F F F T

Slo es T cuando sus argumentos son ambos verdaderos.

Lgica Proposicional

Matemticas Discretas - p. 17/43

Ejemplo de Tabla de Verdad

Calcule la tabla de verdad de (p q) (p q): p F F T T q F T F T pq q p q (p q) (p q) F F T 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

Matemticas Discretas - p. 18/43

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

Matemticas Discretas - p. 19/43

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

Matemticas Discretas - p. 20/43

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

Matemticas Discretas - p. 21/43

Comprueba la validez de la ley conmutativa: pqq p p F F T T q F T F T pq F T T T q p F T T T

Lgica Proposicional

Matemticas Discretas - p. 22/43

Comprueba la validez de la ley asociativa: (p q) r p (q r)

p F F F F T T T T q F F T T F F T T r F T F T F T F T pq F F F F F F T T (p q) r F F F F F F F T qr F F F T F F F T p (q r) F F F F F F F T

Lgica Proposicional

Matemticas Discretas - p. 23/43

Comprueba la validez de la ley asociativa: (p q) r p (q r)

p F F F F T T T T q F F T T F F T T r F T F T F T F T pq F F T T T T T T (p q) r F T T T T T T T qr F T T T F T T T p (q r) F T T T T T T T

Lgica Proposicional

Matemticas Discretas - p. 24/43

Comprueba la validez de la ley distributiva: =p (q r) (p q) (p r)=

p F F F F T T T T q F F T T F F T T r F T F T F T F T qr F T T T F T T T F F F F F T T T pq F F F F F F T T pr F F F F F T F T F F F F F T T T

Lgica Proposicional

Matemticas Discretas - p. 25/43

Comprueba la validez de la ley distributiva: =p (q r) (p q) (p r)=

p F F F F T T T T q F F T T F F T T r F T F T F T F T qr F F F T F F F T F F F T T T T T pq F F T T T T T T pr F T F T T T T T F F F T T T T T

Lgica Proposicional

Matemticas Discretas - p. 26/43

Comprueba la validez de la ley de De Morgan: (p q) p q

p F F T T q F T F T pq F F F T (p q) T T T F p T T F F q T F T F p q T T T F

Lgica Proposicional

Matemticas Discretas - p. 27/43

Comprueba la validez de la ley de De Morgan: (p q) p q

p F F T T q F T F T pq F T T T (p q) T F F F p T T F F q T F T F p q T F F F

Lgica Proposicional

Matemticas Discretas - p. 28/43

Comprueba la validez de la ley de Absorcin: p (p q) p p F F T T q F T F T pq F F F T p (p q) F F T T

Lgica Proposicional

Matemticas Discretas - p. 29/43

Comprueba la validez de la ley de Absorcin: p (p q) p p F F T T q F T F T pq F T T T p (p q) F F T T

Lgica Proposicional

Matemticas Discretas - p. 30/43

Comprueba la validez de la ley de la doble negacin: (p) p p F T p T F (p) F T

Lgica Proposicional

Matemticas Discretas - p. 31/43

Comprueba la validez de la ley de la negacin o ley de inversa: p p F p F T p T F p p F F

Lgica Proposicional

Matemticas Discretas - p. 32/43

Comprueba la validez de la ley de la negacin o ley de inversa: p p T p F T p T F p p T T

Lgica Proposicional

Matemticas Discretas - p. 33/43

Comprueba la validez de la ley de idempotencia: p p p p F T p p F T

Lgica Proposicional

Matemticas Discretas - p. 34/43

Comprueba la validez de la ley de idempotencia: p p p p F T p p F T

Lgica Proposicional

Matemticas Discretas - p. 35/43

Comprueba la validez de la ley de identidad: pT p p F T T T T pT F T

Lgica Proposicional

Matemticas Discretas - p. 36/43

Comprueba la validez de la ley de identidad: pF p p F T F F F pF F T

Lgica Proposicional

Matemticas Discretas - p. 37/43

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

Matemticas Discretas - p. 38/43

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

Matemticas Discretas - p. 39/43

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

Matemticas Discretas - p. 40/43

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

Matemticas Discretas - p. 41/43

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

Matemticas Discretas - p. 42/43

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

Matemticas Discretas - p. 43/43