Primer Parcial Ejemplo2

Resolución primer parcial Matemática Discreta
Ejercicios
1. Sean p una proposición tal que su valor de verdad es verdadero, q una proposición cuyo valor de verdad es falso
y r una proposición de la que no se conoce su valor de verdad. Determinar, si es posible, el valor de verdad de la
siguiente proposición. Justificar.
  (p  p)  (p  r) 
2. Demostrar la validez del siguiente razonamiento utilizando reglas de inferencia y/o leyes lógicas. Justificar en
cada paso la regla o ley utilizada.
p  q
q  r
s  (p)
 s
3. Demostrar (justificar cada paso) que en un álgebra de Boole (B, + , . , ‘ , 0, 1) se verifica la siguiente propiedad:
Si x, y, z B son tales que x.y=x  y.z=y, entonces x.z = x
4. Sean A, B conjuntos contenidos en un conjunto universal U. Decidir si las siguientes proposición es son
verdaderas o falsas, justificando en cada caso.
a) A  P(A)
b) P(A  B) = P(A)  P(B)
5.
a) Si A, B y C son conjuntos contenidos en un universal U, representar mediante un diagrama de Venn el resultado de
la operación: A - B C B'
b) Hallar una expresión que sea lógicamente equivalente a la que se da abajo y que comience con un cuantificador.
x : r(x)  (p(x)  q(x)) 
Resolución
Ejercicio 1.
Sean p una proposición tal que su valor de verdad es verdadero y r una proposición de la que no se conoce su valor de
verdad. Determinar, si es posible, el valor de verdad de la siguiente proposición. Justificar.
  (p  p)  (p  r) 
Sabemos, por la ley del inverso, que p  p  F0 , por lo que v ( p   p ) = F. Por otro lado, por ser p una proposición
cuyo valor de verdad es verdadero, deducimos que v ( p  r ) = V (dado que para que el “o” resulte verdadero, basta que
alguna de las proposiciones que intervienen lo sea). En consecuencia, v (  (p  r) ) = F.
Por lo tanto, dado que tanto p  p como (p  r) resultan proposiciones falsas, v ( (p  p)  (p  r) ) = F, de modo
que v (  (p  p)  (p  r) ) = V
Ejercicio 2 Demostrar la validez del siguiente razonamiento utilizando reglas de inferencia y/o leyes lógicas. Justificar en
cada paso la regla o ley utilizada.
p  q
q  r
s  (p)
 s
Demostremos la validez del razonamiento dado, para lo cual podemos utilizar las reglas de inferencia y las leyes lógicas.
1. p  q premisa
2. q  r premisa
3. s  (p) premisa
4.  p   q equivalencia del condicional en 1.
5. s   q silog ismo hipotético entre 3 y 4
6. q simplificación conjuntiva en 3.
7.  s modus tollens entre 5 y 6.
Observación: la que se muestra es una manera posible de demostrar la validez del razonamiento, pero no es la única
forma de hacerlo.
Ejercicio 3 Demostrar (justificar cada paso) que en un álgebra de Boole (B, + , . , ‘ , 0, 1) se verifica la siguiente propiedad:
Si x, y, z B son tales que x.y=x  y.z=y, entonces x.z = x
La idea de la demostración es la siguiente: sabemos que x.y = x así como también que yz = y. Conociendo estos datos,
queremos probar que xz = x.
Tenemos que xz = (xy) .z (por hipótesis, x = xy). Luego, por la ley asociativa que se verifica en cualquier álgebra de Boole:
xz = (xy)z = x. (yz). Y, como por hipótesis, yz = y, deducimos que: xz = (xy)z = x. (yz) = xy = x (en la última igualdad volvimos
a aplicar la hipótesis de que xy = x).
Ejercicio 4 Sean A, B conjuntos contenidos en un conjunto universal U. Decidir si las siguientes proposición es son
verdaderas o falsas, justificando en cada caso.
a) A  P(A)
Esta proposición es falsa. Para demostrarlo, basta considerar un contraejemplo. Sea A = {1 ; 2; luego, su conjunto de
partes es P (A) =  ; {1} : {2} ; {1 ; 2}  . Tenemos que A  P(A): el “1” es un elemento que pertenece al conjunto
A y no pertenece a su conjunto de partes. La proposición que resultaría verdadera es A  P (A)
b) P(A  B) = P(A)  P(B)

Esta proposición es verdadera. Sean A, B dos conjuntos contenidos en un conjunto universal U. Sea C
 P(A B). Entonces:
C  P( A  B)  C  A  B  C  A  C  B  C  P(A)  C  P (B)  C  P(A)  P(B) .

Por definición por definición por definición de definición de
de conjuntos de partes de intersección conjunto de partes intersección
Ejercicio 5
a) Si A, B y C son conjuntos contenidos en un universal U, representar mediante un diagrama de Venn el resultado de

la operación: A - B C B'
A - B C B'
b) Hallar una expresión que sea lógicamente equivalente a la que se da abajo y que comience con un cuantificador.
x : r(x)  (p(x)  q(x)) 
 x : r(x)  (p(x)  q(x))     x:  r(x)  (p(x)  q(x))  negación de un cuantificador universal
  x:    r (x )  (p(x )  q(x )  equivalencia del condicional
  x : ( r (x )   (p(x )  q(x )) ley de De Morgan / doble contradicción
  x: ( r (x )  (  p(x )   q( x )) ley de De Morgan
Por lo tanto, una proposición lógicamente equivalente a la dada que comience con un cuantificador podría ser
 x: ( r(x)  (  p(x)   q(x)) .

Primer Parcial Ejemplo2

Cargado por

Copyright:

Formatos disponibles

Primer Parcial Ejemplo2

Cargado por

Información del documento

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 Ejemplo2

Cargado por

Copyright:

Formatos disponibles

Resolución primer parcial Matemática Discreta

b) P(A  B) = P(A)  P(B)

C  P( A  B)  C  A  B  C  A  C  B  C  P(A)  C  P (B)  C  P(A)  P(B) .

a) Si A, B y C son conjuntos contenidos en un universal U, representar mediante un diagrama de Venn el resultado de

A - B C B'

También podría gustarte