Universidad de San Carlos de Guatemala Departamento de Matemática

Facultad de Ingeniería Matemática para Computación 1

UNIVERSIDAD DE SAN CARLOS DE GUATEMALA

FACULTAD DE INGENIERÍA

DEPARTAMENTO DE MATEMÁTICA

CLAVE-960-1-M-1-2017sB

CURSO: Matemática para Computación 1

SEMESTRE: Segundo

CÓDIGO DEL CURSO: 960

TIPO DE EXAMEN: Primer Parcial

FECHA DE EXAMEN: Enero de 2017

REVISION DEL EXAMEN: Lic. Carlos A. Morales S.

SOLUCION DEL EXAMEN: Luis Ramírez

COORDINADOR: Ing. José Alfredo González Díaz

Universidad de San Carlos de Guatemala Departamento de Matemática
Facultad de Ingeniería Matemática para Computación 1

UNIVERSIDAD DE SAN CARLOS DE GUATEMALA

FACULTAD DE INGENIERIA
DEPARTAMENTO DE MATEMATICAS
MATEMATICA DE COMPUTO 1 1er. Examen
Parcial
Lic. Carlos A. Morales S. Marzo 2017

TEMARIO “LGSR”

TEMA 1 (35/100)

1.1 Construya la tabla de verdad de la proposición compuesta:

[(p⨁q) ∧ ¬r] ∨ (s⟹r)

1.2 Demuestre usando tablas de verdad, subrayando las filas correspondientes, que el
siguiente argumento es correcto.
(p∧(r⟹p)) ⟹ (r⟹p)

1.3 Expresar el conectivo or solamente en términos del conectivo Nand

TEMA 2 (20/100)
Utilice reglas de inferencia y equivalencia lógicas para demostrar:
p⟹q
q⟹r
¬s⟹ ¬r
¬s
∴ ¬p ∧ ¬r

TEMA 3 (30/100)
De los tres teoremas presentados, seleccionar dos y realizar su demostración.

3.1 Demuestre por el método de reducción al absurdo:

Si n es divisible por 4 entonces n³ es divisible por 4

3.2 Demuestre utilizando el método por contracción √𝟓 es irracional

3.3 Utilice inducción matemática para demostrar.
n² – n es divisible por 2 para toda n ≥ 2
TEMA 4(15/100)
Negar las siguientes proposiciones:
4.1 x es par o x no es negativo
4.2 Si x es primo entonces x no es perfecto
4.3 ∀ x,y ∈ R, ∃ n∈N, xy < n
Universidad de San Carlos de Guatemala Departamento de Matemática
Facultad de Ingeniería Matemática para Computación 1

SOLUCIÓN DEL EXAMEN

Tema 1: 35 puntos
1.1 Construir la tabla de verdad de la proposición compuesta:
[(p⨁q) ∧ ¬r] ∨ (s⟹r)

p Q r s p⨁q ¬r (p⨁q) ∧ ¬r s⟹r [(p⨁q) ∧ ¬r] ∨ (s⟹r)

0 0 0 0 0 1 0 1 1
0 0 0 1 0 1 0 0 0
0 0 1 0 0 0 0 1 1
0 0 1 1 0 0 0 1 1
0 1 0 0 1 1 1 1 1
0 1 0 1 1 1 1 0 1
0 1 1 0 1 0 0 1 1
0 1 1 1 1 0 0 1 1
1 0 0 0 1 1 1 1 1
1 0 0 1 1 1 1 0 1
1 0 1 0 1 0 0 1 1
1 0 1 1 1 0 0 1 1
1 1 0 0 0 1 0 1 1
1 1 0 1 0 1 0 0 0
1 1 1 0 0 0 0 1 1
1 1 1 1 0 0 0 1 1

1.2 Demuestre usando tablas de verdad, subrayando las filas correspondientes al siguiente argumento:
(p∧(r⟹p)) ⟹ (r⟹p)
P r p ⟹r (p∧(r⟹p)) (p∧(r⟹p))⟹(r⟹p)
0 0 1 0 1
0 1 0 0 1
1 0 1 1 1
1 1 1 1 1

1.3 Expresar el conectivo OR en términos de NAND

p∨q Proposición
¬¬ (p ∨ q) Doble Negación
¬ (¬p ∧ ¬q) Ley De Morgan
¬ (¬(p ∧ p) ∧ ¬(q ∧ q)) Idempotencia
((p ↑ p) ↑ (q ↑ q)) Sustitución por el
conectivo Nand
Universidad de San Carlos de Guatemala Departamento de Matemática
Facultad de Ingeniería Matemática para Computación 1

Tema 2: 20 puntos
Utilice reglas de inferencia y equivalencia lógicas para demostrar:
p⟹q
q⟹r
¬s⟹ ¬r
¬s___
∴ ¬p ∧ ¬r

Pasos Razón
1 p→q Premisa

2 q→r Premisa

3 p→r Silogismo hipotético

Pasos: (1) y (2)
[(p → q) ∧ (q → r)] ⇒ (p → r)

4 ¬s→¬r Premisa

5 r→s Contrapositiva
Pasos: (4)
(¬s → ¬r) ⇔ (r → s)

6 p→s Silogismo hipotético:

Pasos: (3) y (5)
[(p → r) ∧ (r → s)] ⇒ (p → s)

7 ¬s Premisa

8 ¬p Método de la Negación
Pasos: (6) y (7)
[(p → s) ∧ ¬s] ⇒ ¬p

9 ¬r Método de Separación
Pasos: (4) y (7)
[(¬ s → ¬ r) ∧ ¬ s] ⇒ ¬ r

10 ¬p∧¬r Conjunción
Pasos: (8) y (9)
¬p∧¬r
Universidad de San Carlos de Guatemala Departamento de Matemática
Facultad de Ingeniería Matemática para Computación 1

Tema 3: 30 puntos

3.1 Demostrar por reducción al absurdo

Si n es divisible por 4 entonces n³ es divisible por 4

Fundamento Lógico
( 𝒑 ∧ ¬ 𝒒) ⟹ 𝒄𝒐𝒏𝒕𝒓𝒂𝒅𝒊𝒄𝒄𝒊ó𝒏
∴𝒑⟹𝒒
Inicio

𝑝 ∧ ¬ 𝑞: Hipótesis y la negación de la conclusión

Hipótesis
n es divisible por 4 ⟹ n³ es divisible por 4
P ⟹ q

Negación de la conclusión
n es divisible por 4 ∧ n³ no es divisible por 4

Pasos

Si n = 4k entonces n³ = (4k) ³; n³ = 4(16k³) por lo tanto n³ es múltiplo de 4

Contradicción:
n³ es divisible por 4 y n³ no es divisible por 4
Universidad de San Carlos de Guatemala Departamento de Matemática
Facultad de Ingeniería Matemática para Computación 1

3.2 Demostrar por contradicción

√𝟓 es irracional
Fundamento Lógico
¬ 𝒑 ⟹ 𝒄𝒐𝒏𝒕𝒓𝒂𝒅𝒊𝒄𝒄𝒊ó𝒏
∴𝒑

Inicio

p : √5 es irracional
¬p : √5 es racional

Hipótesis Auxiliar

Definición de un racional
∃ 𝑎, 𝑏 ∈ ℤ, 𝑎, 𝑏 ≠ 0/ 𝑟 = ∧ 𝑚𝑐𝑑(𝑎, 𝑏) = 1

Por definición
𝑎
√5 = 𝑑𝑜𝑛𝑑𝑒 𝑎, 𝑏 ≠ 0 ∧ 𝑚𝑐𝑑(𝑎, 𝑏) = 1
𝑏

𝑎
√5 =
𝑏
√5𝑏 = 𝑎
5𝑏 = 𝑎 𝑎 es divisible por 5 implica que 𝑎 es divisible
por 5; sea 𝑎 = 5𝑘
5𝑏 = (5𝑘) Sustituir 𝑎 por 5𝑘
5𝑏 = 25𝑘 De Igual manera para b
𝑏 = 5𝑘

Contradicción
5 es divisor de a y b y 𝑚𝑐𝑑(𝑎, 𝑏) = 1
Universidad de San Carlos de Guatemala Departamento de Matemática
Facultad de Ingeniería Matemática para Computación 1

3.3 Demostrar por Inducción matemática

n² – n es divisible por 2 para toda n ≥ 2

Inicio

Sea P(n) = n² – n = 2m
Base

n = 2;
P (2) = 2² - 2 = 4 – 2 = 2(1)

Hipótesis de inducción

n=k
P (k) = k² - k = 2m

Tesis

P(n) = n² – n n=k+1
P(k + 1) = (k + 1)² - (k+1) Sustituir n por k
k² + 2k + 1 - k² -1 Expandir la expresión
k² - k + 2k + 1 -1 Reagrupar
(k² - k) + 2k Eliminar +1 -1
2m + 2k Sustituir (k² - k) por 2m
2(m+k) Factorizar la expresión
Universidad de San Carlos de Guatemala Departamento de Matemática
Facultad de Ingeniería Matemática para Computación 1

Tema 4: 15 puntos

4.1 x es par o x no es negativo

p: x es par
q: x no es negativo

pvq Proposición
¬ (p ∨ q) Negación
¬ (¬ p ∧ ¬ q) Ley De Morgan
x no es par y x es negativo

4.2 Si x es primo entonces x no es perfecto

p: x es primo
q: x no es perfecto

p→ q Proposición
¬ (p ∧ ¬q) Implicación
¬ ¬ (p ∧ ¬ q) Negación
p∧¬q Doble Negación
x es primo y x es perfecto

4.3 ∀ x,y ∈ ℝ, ∃ n∈ ℕ, xy < n

∃ x,y ∈ ℝ,∀ n∈ ℕ, xy ≥ n