MATEMTICA DISCRETA Apellido y Nombre: 1 PARCIAL / TEORIA 04/07/08 Comisin:

Tema 1

Ejercicio 1: Defina al Conectivo Condicional. Adems d un ejemplo donde el valor de verdad del conectivo condicional sea falso. Ejercicio 2: Diga cuando dos expresiones lgicas son equivalentes y d dos ejemplos de equivalencias relacionadas con el conectivo condicional. Ejercicio 3: Explique en que consiste el mtodo de demostracin por contradiccin. Ejercicio 4: Dado U = { a1, a2, a3}, demuestre que x, p ( x) x, p ( x) Ejercicio 5: Defina Algebra de Boole y justifique porque decimos que el Algebra Proposicional es un Algebra de Boole.

MATEMTICA DISCRETA Apellido y Nombre: 1 PARCIAL / PRACTICA 04/07/08 Comisin:

Tema 1

Ejercicio 1: Dadas las siguientes proposiciones atmicas p: 3 es irracional; q: 3 es entero; r: 3 es real Traduzca las siguientes proposiciones compuestas al lenguaje coloquial y d su valor de verdad a) p q b) p r Ejercicio 2: Probar la siguiente equivalencia:
( p q ) (r s ) [( p q ) r ] [( p q ) s ]

Ejercicio 3: Demuestre, usando el mtodo por contradiccin que: 3 es irracional

Ejercicio 4: Exprese simblicamente a las siguientes proposiciones y encuentre su negacin. Indique claramente el universo de discurso y los predicados considerados. a) Todos los nmeros enteros pares son mltiplos de 4. b) Nadie es amable con todas las personas. Ejercicio 5: Usando los axiomas y/o propiedades del Algebra de Boole, probar las siguientes igualdades
a) (x + y + z) (x + y + z ) = x + y z + y z b) Si a = b+ c entonces a.(b + c) = bc

MATEMTICA DISCRETA Apellido y Nombre: 1 PARCIAL / TEORIA 04/07/08 Comisin:

Tema 2

Ejercicio 1: Enuncie la definicin del Conectivo Disyuncin (incluyente). Adems d dos ejemplos de equivalencias relacionadas con el conectivo disyuncin Ejercicio 2: Para las expresiones lgicas defina a la forma normal disyuntiva y enuncie su propiedad. Ejercicio 3: Explique en que consiste el mtodo de demostracin por la contrarecproca. Ejercicio 4: Defina los siguientes conceptos: universo de discurso, variable, predicado y cuantificadores. Ejercicio 5: Enuncie las propiedades del Algebra de Boole y demuestre la ley de absorcin.

MATEMTICA DISCRETA Apellido y Nombre: 1 PARCIAL / PRACTICA 04/07/08 Comisin:

Tema 2

Ejercicio 1: Dadas las siguientes proposiciones atmicas p: a es racional; q: a es irracional; r: a es real Traduzca las siguientes proposiciones compuestas al lenguaje coloquial y encuentre su negacin a) p q b) p q r Ejercicio 2: Encuentre la forma normal disyuntiva de la siguiente expresin lgica. Deduzca, a partir de ella, si la expresin dada es tautologa, contradiccin o contingencia. ( p q r ) [ p (q r )] Ejercicio 3: Usando el Mtodo de demostracin por la contrarecproca mostrar que: Si el cuadrado de un nmero es par, entonces el nmero es par

Ejercicio 4: En cada uno de los siguientes apartados determine quin es el universo de discurso y el predicado. Adems encuentre el valor de verdad de la expresin: a) n , n 3 = n 2
b) xy , ( x + y ) 2 = x 2 + y 2

Ejercicio 5: Mostrar que las siguientes funciones booleanas son equivalentes: Z1= ( A B ). A + B.C
Z2= B.( A + C )

MATEMTICA DISCRETA Apellido y Nombre: 1 PARCIAL / TEORIA 04/07/08 Comisin:

Tema 3

Ejercicio 1: Defina al Conectivo Bicondicional. Adems d dos ejemplos de equivalencias relacionadas con el conectivo bicondicional. Ejercicio 2: Defina Implicacin Lgica. D dos ejemplos de implicacin lgicas que estn relacionadas con el conectivo condicional. Ejercicio 3: Demuestre que, dado un universo U = { a1, a2, a3}, se cumple la siguiente equivalencia: x[ p ( x) q ( x)] x, p ( x) x, q ( x) Ejercicio 4: Defina funcin booleana. Diga cuando una funcin booleana est dada en la Forma Normal Conjuntiva. Ejercicio 5: Defina a las compuertas: OR y NOR. Encuentre una equivalencia para la compuerta NOR.

MATEMTICA DISCRETA Apellido y Nombre: 1 PARCIAL / PRACTICA 04/07/08 Comisin:

Tema 3

Ejercicio 1: Identifique todas las propiedades atmicas en la siguiente oracin y convierta a la misma al clculo proposicional. Adems encuentre su negacin aplicando las equivalencias lgicas correspondientes. Es necesario y suficiente que el programa est bien estructurado para que sea legible

Ejercicio 2: Usando el concepto de contradiccin, muestre que: de p q y p r se puede concluir q r Ejercicio 3: Los predicados p(x,y) y q(x,y) estn definidos en el universo U = { A, B, C} y sus valores de verdad estn dados por las siguientes tablas: p(x,y) A B C q(x,y) A B C A V V F A F F V B F V F B V F V C V V F C F V V Encuentre el valor de verdad de y, p ( A, y ) y, q ( B, y )

Ejercicio 4: Encuentre las dos formas normales de Z(A,B,C) = ( A + B ) + (C + B )

Ejercicio 5: Represente a la funcin booleana por medio de un circuito combinatorio y por medio de su tabla de verdads: Z= A.( B + C ).( A + B )

MATEMTICA DISCRETA Apellido y Nombre: 1 PARCIAL / TEORIA 04/07/08 Comisin:

Tema 4

Ejercicio 1: Defina al Conectivo Conjuncinl. Adems d dos ejemplos de equivalencias relacionadas con el conectivo conjuncin. Ejercicio 2: Defina Razonamientos Vlidos. Exprese simblicamente a los razonamientos llamados Modus Ponens y Modus Tollens. Ejercicio 3: Demuestre que, dado un universo U = { a1, a2, a3}, se cumple la siguiente equivalencia: x[ p ( x) q( x)] x, p ( x) x, q ( x) Ejercicio 4: Enuncie las propiedades del Algebra de Boole y demuestre la ley de De Morgan. Ejercicio 5: Defina a las compuertas: AND y NAND. Encuentre una equivalencia para la compuerta NAND.

MATEMTICA DISCRETA Apellido y Nombre: 1 PARCIAL / PRACTICA 04/07/08 Comisin:

Tema 4

Ejercicio 1: Identifique todas las propiedades atmicas en la siguiente oracin y convierta a la misma al clculo proposicional. Adems encuentre su negacin aplicando las equivalencias lgicas correspondientes. Las ballenas son mamferos aunque vivan en el mar y naden como peces

Ejercicio 2: Para los siguientes pares de proposiciones, use el Modus Ponens o el Modus Tollens para completar la lnea en blanco con un argumento vlido. Si Toms juega ftbol despus del medioda entonces no ver televisin por la tarde .. Toms no jug al ftbol esta tarde. Ejercicio 3: Los predicados p(x,y) y q(x,y) estn definidos en el universo U = { A, B, C} y sus valores de verdad estn dados por las siguientes tablas: p(x,y) A B C q(x,y) A B C A V V F A F F V B F V F B V F V C V V F C F V V Encuentre el valor de verdad de x, p ( x, A) y , q ( B, y ) Ejercicio 4: Encuentre las dos formas normales de Z(A,B,C) = ( A.B ).(C.B )

Ejercicio 5: Represente a la funcin booleana por medio de un circuito combinatorio y por medio de su
tabla de verdads: Z= A + B + A.C