Universidad Nacional de Ingeniera

Facultad de Ciencias
Escuela Profesional de Matematica Ciclo 2017-I
[Cod: CM 131 Curso: Calculo Diferencial ]
[Temas: Logica proposicional y metodos de demostracion.]

Resolucion de la primera practica calificada

1. Considere la proposicion compuesta

[p ((q r) s)] (( r q) p)

(a) Construya la tabla de verdad. 3 pts.

(b) Determine si es una tautologa, contradiccion o contingencia. 1 pts.

SOLUCION:
Parte a:

p q r s [ p (( q r) s)] [( r q ) p]
V V V V F F F V F V
V V V F V F V V F V
V V F V V V V F V F
V V F F V V V F V F
V F V V F F F V F V
V F F F V F V V F V
V F V V F F F V F V
V F F F V F V V F V
F V V V V F F V F V
F V F F V F V V F V
F V V V V V V V V V
F V F F V V V V V V
F F V V V F F V F V
F F F F V F V V F V
F F V V V F F V F V
F F F F V F V V F V

Parte b: CONTINGENCIA

2. Dado el siguiente enunciado:

Si mis calculos son correctos y pago la cuenta de la electricidad, me quedare sin dinero. Si no pago
la cuenta de la electricidad, me cortaran la corriente. Como no me han cortado la corriente y sigo
teniendo dinero, mis calculo no eran correctos.

(a) Formalizar el enunciado anterior. 1 pts.

(b) Demuestre su validez por el metodo directo. 1.5 pts.
 (c) Demuestre su validez por el metodo indirecto. 1.5 pts.

Resolucion:
Denotemos por:
p: mis calculos son correctos
q: pago la cuenta de la electricidad
r: me quedare sin dinero
s: me cortaran la corriente
p: mis calculos no eran correctos
q: no pago la cuenta de la electricidad
r: sigo teniendo dinero
s: no me han cortado la corriente

a) Formalizando el enunciado tenemos: [((p q) r) ( q s) ( s r)] p.

Tambien lo podemos denotar como:
(p q) r
qs
s r

p
b) Metodo Directo

(p q) r.....(1)
q s.......(2)
s r......(3)

s.............................(4) (de (3))
( q) q................(5) (de (2) y (4))
r...........................(6) (de (3))
(p q) p q..............(7) (de (1) y (6))
p...............................(8) (de (5) y (7))
c) Metodo Indirecto

(p q) r.....(1)
q s.......(2)
s r......(3)

( p) p........(4)
(p q) r p q r......(5) (de (1))
q...................(6) (de (5) y (3))
s.........................(7) (de (6) y (2))
s s F............(8) (de (7) y (3))

3. Considere el siguiente conjunto A

A = {x R : x 3 x < 7}

(a) Exprese el conjunto A en forma de intervalo y denote con B. 2 pts.

(b) Demuestre A B. 1 pts.
(c) Demostrar que B A. 1 pts.

2
 Resolucion:
a)) Vamos a utilizar la propiedad p q (p q) (q p) ( p q) ( q p), luego para
nuestro problema
x<73x

es decir B = [3, 7 >.

b))Sea x A un elemento cualquiera
Sopongase que x < 3 ahora como x cumple con x 3 x < 7 luego

x7

pero esto no puede ser.

Supongase que 7 x ahora por definicion tenemos que x < 3 lo cual no se puede dar.
Finalmente podemos decir que
xB

c)) Sea x B es decir x [3, 7 >, luego cumple con

x3x<7

es decir x A.

4. (a) Hallar el valor de verdad de la siguiente proposicion: (Justifique su respuesta)

x {1, 2, 3} : x2 + 1 6= x + 3.

1 pts.
(b) Considere [(r p) (r s) ( s)] p
i. Demostrar lo anterior utilizando las leyes logicas. 1.5 pts.
ii. Demostrar tambien utilizando las reglas de inferencia. 1.5 pts.

Resolucion:
a) Es suficiente que para algun valor 12 + 1 6= 1 + 3, el valor de verdad es Verdadero.
b)
I. [(r p) (r s) s] p luego

( r p) (r s) s p

por lo tanto [(r p) p] [( r s) s] (r p) ( r s) es verdadero.

II. considere r p
rs
s
Luego de lo anterior r por MTP y p PMP.

5. Demostrar las siguientes proposiciones:

(a) Si m es par y n es impar, entonces mn es par. 2 pts.

(b) El cuadrado de todo numero entero, es multiplo de 4 o multiplo de 4 mas 1. 2 pts.

Resolucion:

3
(a) Si m es par y n es impar entonces existen k, l Z tal que:

m = 2k n = 2l 1

Vemos que:
mn = (2k)(2l 1) = 2(2kl k)

Desde que 2k k Z se tiene que mn es par.

(b) Sea n Z (fijo y arbitrario), luego tenemos los siguientes casos:
n es par:
Entonces existe k Z tal que n = 2k, elevando al cuadrado se tiene que:

n2 = (2k)2 = 4k2

Vemos que n2 es multiplo de 4.

n es impar:
Entonces existe k Z tal que n = 2k 1, elevando al cuadrado se tiene que:

n2 = (2k 1)2 = 4k2 4k + 1 = 4(k2 k) + 1

Vemos que n2 es multiplo de 4 mas 1.

Uni, 03 de abril del 2017