Primer Parcial Matematica Discreta

Resolución primer parcial Matemática Discreta
Ejercicios
1) Comprobar, mediante el uso de leyes lógicas, que las dos proposiciones que abajo se expresan simbólicamente son
lógicamente equivalentes. Justificar cada paso indicando la ley lógica aplicada.
Proposición 1: (p  q)  (q  p)  r Proposición 2:   r  q   r  q
2) Demostrar la validez del siguiente razonamiento utilizando leyes lógicas y reglas de inferencia. Justificar cada paso
de la demostración indicando la ley o regla utilizada.
(p  r)  q
r  q
 p
3) Si A, B y C son conjuntos contenidos en un universal U, demostrar, justificando adecuadamente, que es verdadera la

siguiente afirmación:
A  B' C  C  A   B  C
4) a) Simplificar la siguiente expresión utilizando las propiedades que se cumplen en un Álgebra de Boole. Indicar la
propiedad aplicada en cada paso de la simplificación.
 x'.z  .x    y   y.z' .  x .z'  '
b) Representar la expresión obtenida utilizando compuertas
5) Indicar si cada una de las siguientes proposiciones es verdadera o falsa. Justificar.

a) A :  A  P(B)  A  B
b)  x : r(x)  q(x)  x : r(x)  q(x)
Resolución del parcial
1) Comprobar, mediante el uso de leyes lógicas, que las dos proposiciones que abajo se expresan simbólicamente
son lógicamente equivalentes. Justificar cada paso indicando la ley lógica aplicada.
Proposición 1: (p  q)  (q  p)  r Proposición 2:   r  q   r  q
Resolución
Una manera posible de demostrar la equivalencia lógica entre las dos proposiciones es partir de alguna de las dos
y, mediante el uso de leyes lógicas, llegar a la otra. En este caso, procederemos de otra manera: trabajaremos con cada
una de las proposiciones en forma separada y, aplicando leyes lógicas, demostraremos que amas proposiciones son
lógicamente equivalentes a una misma proposición (la proposición “r” en este caso).
(p  q)  (q  p)  r
 ( p   q)  (q  p)  r equivalencia del condicional
  (  p   q)  (q  p)  r Ley de De Morgan
   ( p  q)  (p  q)  r Ley conmutativa del conectivo lógico "  "
 T0  r Ley del inverso
r Ley del neutro
Por otro lado:
  r  q   r  q 
   r  q     r   q  Ley de De Morgan
   ( r )   q  (  (  r )   (  q)) Ley de De Morgan
 ( r   q)  (r  q) Ley de doble contradicción
 r  ( q   q) Ley distributiva
 r  T0 Ley del inverso
r Ley del neutro
Luego, dado que (p  q)  (q  p)  r  r    r  q   r  q , concluimos (por transitividad de la
equivalencia lógica) que (p  q)  (q  p)  r    r  q   r  q , es decir que la proposición 1 y la
proposición 2 son lógicamente equivalentes, como queríamos demostrar.
2) Demostrar la validez del siguiente razonamiento utilizando leyes lógicas y reglas de inferencia. Justificar cada
paso de la demostración indicando la ley o regla utilizada.
(p  r)  q
r  q
 p
Resolución
Para demostrar la validez de un razonamiento, podemos utilizar tanto las reglas de inferencia como las leyes lógicas.
Probemos la validez del razonamiento dado en el ejercicio-
1. p   r   q premisa
2.  r   q premisa
3. q simplificación conjuntiva en 1.
4. r modus tollens 2. y 3
5. p   r simplificación conjuntiva en 1.
6. p silog ismo disyuntivo 4 y 5
3) Si A, B y C son conjuntos contenidos en un universal U, demostrar, justificando adecuadamente, que es

verdadera la siguiente afirmación:
A  B' C  C  A   B  C
Demostremos la igualdad dada teniendo en cuenta las leyes de la teoría de conjuntos. Algunas definiciones que
podrían resultar de utilidad para resolver este tipo de ejercicios son las siguientes:
 A - B = A  B’
 A  B = (A - B)  (B - A)
Probemos la igualdad del enunciado:
(A - B)’  C = ((A  B’) ‘  C por definición de diferencia

= (A’  B)  C por ley de De Morgan y doble complementación
= (A’  C)  (B  C) por propiedad distributiva
= (C  A’)  (B  C) por conmutatividad de la intersección
= ( C - A )  (B  C) por definición de diferencia
Luego, (A - B)’  C = ( C - A )  (B  C, como queríamos probar.
4) a) Simplificar la siguiente expresión utilizando las propiedades que se cumplen en un Álgebra de Boole. Indicar la
propiedad aplicada en cada paso de la simplificación.
 x'.z  .x    y   y.z' .  x .z'  '
Para simplificar la expresión booleana propuesta, usaremos las leyes del Álgebra de Boole.
 x '.z  .x     y   y.z'   .  x .z'  '   (zx ') x    y   y.z'   .  x .z'  '  por conmutatividad del producto
 z. (x 'x )   y .  x .z'  ' ley asociativa / ley de absorción
 z. 0   y.  x '  (z')'   ley del inverso / Ley de De Morgan
 0   y.  x '  z   ley de dominación / Ley de doble contradicción
 y (x '  z) ley del identidad
b) Representar la expresión obtenida utilizando compuertas
Para representar la expresión utilizando compuertas, recordemos que las compuertas con las que trabajamos son:
Compuerta NOT Compuerta AND

Compuerta OR
En este caso, el diagrama asociado a la expresión simplificada quedaría de la siguiente manera:
5) Indicar si cada una de las siguientes proposiciones es verdadera o falsa. Justificar.

a) A :  A  P(B)  A  B
La proposición es falsa. Para demostrarlo, basta considerar un contraejemplo.

 
Consideremos A   1 , 2 y B  1; 2; 3 . Se verifica que A  P(B), pues todo elemento de A pertenece
al conjunto P(B) (Recordemos que, en este caso, P (B) =   ; 1 ; 2 ; 3 ; 1,2 ; 1,3 ; 2,3 ; 1. 2,3 )
pero no se cumple que A  B .
b)  x : r(x)  q(x)  x : r(x)  q(x)
La proposición dada es verdadera. En efecto:
 x : r(x)  q(x)     x:  r(x )  q(x )  por negación del cuantificador universal
  x :  (  r(x )  q(x)) equivalencia del condicional
  x: ( r(x )   q(x)) ley de De Morgan / doble negación

Primer Parcial Matematica Discreta

Cargado por

Copyright:

Formatos disponibles

Primer Parcial Matematica Discreta

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Primer Parcial Matematica Discreta

Cargado por

Copyright:

Formatos disponibles

Resolución primer parcial Matemática Discreta

Proposición 1: (p  q)  (q  p)  r Proposición 2:   r  q   r  q

3) Si A, B y C son conjuntos contenidos en un universal U, demostrar, justificando adecuadamente, que es verdadera la

b) Representar la expresión obtenida utilizando compuertas

5) Indicar si cada una de las siguientes proposiciones es verdadera o falsa. Justificar.

Resolución del parcial

Proposición 1: (p  q)  (q  p)  r Proposición 2:   r  q   r  q

3) Si A, B y C son conjuntos contenidos en un universal U, demostrar, justificando adecuadamente, que es

Probemos la igualdad del enunciado:

(A - B)’  C = ((A  B’) ‘  C por definición de diferencia

Luego, (A - B)’  C = ( C - A )  (B  C, como queríamos probar.

b) Representar la expresión obtenida utilizando compuertas

Compuerta NOT Compuerta AND

En este caso, el diagrama asociado a la expresión simplificada quedaría de la siguiente manera:

5) Indicar si cada una de las siguientes proposiciones es verdadera o falsa. Justificar.

La proposición es falsa. Para demostrarlo, basta considerar un contraejemplo.

b)  x : r(x)  q(x)  x : r(x)  q(x)

La proposición dada es verdadera. En efecto:

También podría gustarte