Matemtica Discreta: Reglas de Lgica

Mate3175 Conferencia #1 Reglas de Lgica

I. Importancia de las reglas de la lgica a. c. Mejoras en matemticas Aplicaciones en el rea de ciencias de cmputos I) II) III) Diseo de circuitos de computadora construccin de programas verificacin de la correccin de un programa b. Ayuda a construir argumentos matemticos vlidos

Dra. Yolanda Vlez

d. se ha desarrollado programado para la construccin de pruebas automticamente. II. Proposiciones a. Oracin declarativa que es o cierta o falsa, pero no ambas. 1. c. El correo electrnico constituye un medio de comunicacin. b. Ejemplos: 2. 11 + 6 = 12 Las oraciones siguientes no son proposiciones: 1. Pinta la pared. 2. Habla ms alto. 3. De qu color pinto la pared? III. 1. Proposiciones Compuestas

Es la combinacin de dos o ms proposiciones. a) Negacin de p ( i . Ejemplos : a) Hoy es mircoles. Hoy no es mircoles b) Son las 2:00 p.m. c) 2 + 2 = 5. ii. tabla de valores verdaderos. (Tabla de verdad) p C F F C (operador negativo)

2. Se utilizan conectivos lgicos (conectivos) para crear proposiciones compuestas.

b) La conjuncin de p y q. Ejemplos: i. p: Hoy voy al cine; ii. q: Hoy voy de compras. p: Invito la chica a salir, q: Hoy me le declaro a la chica

Hoy voy al cine y tambin voy de compras. Hoy invito a la chica a salir y me le declaro. Solo es cierta si p y q son ciertas. p C C F F q C F C F C F F F

1|Page

Matemtica Discreta: Reglas de Lgica

Mate3175 Conferencia #1
c. La disyuncin de p u q. ( p v q ) Solo es falsa si p y q son falsas. Ejemplos: i. p: Hoy voy al cine; q: Hoy voy de compras. ii. p:Hoy me le declaro a la chica q: Invito la chica a salir.

Dra. Yolanda Vlez

Tabla de verdad p C F C F q C C F F pvq C C C F

d) El exclusivo ( p q) 1. Es cierta si exactamente una de las dos ; p y q son ciertas. De otro modo es falsa 2. Tabla de verdad p C C F F q C F C F Pq

3. Ejemplos: Mencione cuando es no es exclusivo. a. c. Con la comida se sirve caf o t. El prerrequisito para el curso de matematica discreta es un curso de Teora de nmeros o Criptologa. d. Se va a hacer rolos se peina. e. IV. Tautologas: Una proposicin que es siempre cierta, no importa los valores de verdad de sus componentes, se llama una tautologa. V. Contradiccin: Una proposicin que es siempre falsa, no importa los valores de verdad de sus componentes, se llama una contradiccin p ~p p v ~p (p ~p) C p ~p (p y ~p) F Ejemplo #1: Pagas con euros con dlares. (c,e no son exclusivos) b. La contrasea puede tener 3 digitos seis caracteres.

2|Page

Matemtica Discreta: Reglas de Lgica

Mate3175 Conferencia #1
VI.

Dra. Yolanda Vlez

Proposiciones lgicamente equivalentes: Proposiciones que tienen los mismos resultados en la tabla de verdad. a. Son equivalentes las proposiciones ~p ~q y ~(p v q).

Veamos las tablas de verdad de cada uno. p ~p q ~q ~p ~q P q Pvq ~ (p v q)

Puesto que los valores son los mismos en todos los casos, las proposiciones son equivalentes. b) Ejercicio #1: Demuestre que p q y ~p V q son lgicamente equivalentes.(para la prxima clase) p q ~p ~pVq P q

Ejercicio#2 : Si t es una tautologa y c una contradiccin, demuestre que

VII.

Leyes de Morgan Leyes de Morgan:

Utilice las Leyes de Morgan para negar las siguientes oraciones. a. Jos va a tomar un trabajo en una industria se va a graduar ahora en verano.

b. `Yoshiko sabe Java y sabe clculo. Solucin:

3|Page

Matemtica Discreta: Reglas de Lgica

Mate3175 Conferencia #1
a. b. Yoshiko no sabe Java no sabe clculo. Conclusiones: 1. La negacin de p q es equivalente a la negacin de p y la negacin de q.

Dra. Yolanda Vlez

Jos no va a tomar un trabajo en una industria y no se va a graduar ahora en verano.

2. La negacin de p y q es equivalente a la negacin de p negacin de q. 3. Proposiciones compuestas que tienen los mismos valores de verdad se llaman lgicamente

equivalentes.

Ms ejemplos: Instrucciones: mencione la negacin de las siguientes proposiciones: a) Miguel tiene un celular y tiene una laptop. b) Luisa va para el concierto y Alberto va para el concierto. c) Mario tiene un Iphone un Ipad.

Respuestas: Miguel no tiene un celular no tiene una laptop. Miguel no tiene un celular no tiene una laptop. Luisa no va para el concierto Alberto no va para el concierto. Mario no tiene un Iphone y no tiene un Ipad.

Teorema 2.1.1 Equivalencias lgicas (pgina 35 del libro de texto). VIII. Equivalencias Lgicas (Opcional) 1. Hay una lista de equivalencias lgicas Estas se utilizan para simplificar o demostrar otras equivalencias lgicas. Ejemplos: a) ~ ( p q) ~ ( ~p ~ (~ p) ~ q (segunda ley de Morgan) p ~ q ( doble negacin) b) Demuestre que: ~ ( p V ( ~p q )) ~ ( p V ( ~p q ) ) ( segunda ley de Morgan)

( primera ley de Morgan ) ( doble negacin) (la segunda ley distributiva) porque p p (conmutativa)

4|Page