Universidad Marcelino Champagnat

Asignatura: ÁLGEBRA

TEMA: LÓGICA – MÉTODOS DE DEMOSTRACIÓN

Actividad 1.

Docente: Mg. Rubén Hildebrando Gálvez Paredes

Estudiante:

2024−I
 Analiza diversos contextos intra y extra matemáticos referidos a conceptos,
definiciones, formulas, circuitos y leyes lógicas, través de la identificación de
proposiciones, estableciendo la relación entre ellos o determinado y
justificando el valor de verdad de los mismos.
1. Analiza el valor de verdad de las proposiciones compuestas propuestas,
aplicando las definiciones de los conectores lógicos; tal que
𝑝, 𝑞, 𝑟, 𝑢, 𝑠, 𝑡, 𝑤, 𝑥 son proposiciones simples:
a) Si la proposición [(𝑝 → ~𝑞) ∨ (~𝑟 → 𝑠)] es falsa, deduce el valor de
verdad de las proposiciones:
i. (~𝑝 ∆ 𝑞) ∨ ~𝑞
ii. (𝑝 → 𝑟) → (𝑝 ∨ 𝑠)
iii. (~𝑟 ∧ 𝑞) ↔ (~𝑞 ∧ 𝑠)

b) Si las proposiciones [𝑝 ↔ ~(𝑞 ∧ 𝑟)]; (~𝑝 ∆ 𝑞) son siempre

verdaderas, deduce el valor de verdad de la proposición:
[~𝑟 ∧ (𝑝 ∨ 𝑠)] → (𝑞 ∨ 𝑠)

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 1 de 26

 c) Si las proposiciones:
[(𝑝 ∨ ~𝑟) ↔ (𝑠 → 𝑤)] 𝑒𝑠 (𝑉); (~𝑤 → ~𝑠) 𝑒𝑠 (𝐹)
Determina el valor de verdad de las proposiciones
i. [𝑡 → (𝑤 ∨ ~𝑝)] ∧ ~(𝑝 → 𝑟)
ii. [(𝑠 ↔ ~𝑤) → (𝑟 ∨ ~𝑝)] ∨ (𝑝 ∧ 𝑥)

d) Si la proposición:
{~[(𝑝 ∧ 𝑟) → 𝑞] ∧ [(𝑝 ∨ 𝑞) ∆ 𝑠]} → {(𝑝 ∆ 𝑠) → 𝑡} es siempre
falsa, deduce el valor de verdad de las proposiciones
i. {[(~𝑝 ∆ 𝑞)∆ 𝑟] → [~(𝑞 → (𝑢 → 𝑝)) ]} ∆ (𝑝 ∆ 𝑞)
ii. {~(𝑝 → 𝑞)∆[(𝑟 ∧ 𝑝) → ~(𝑟 ∨ 𝑠) ]} ∆ 𝑡

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 2 de 26

Aplica conceptos, definiciones, propiedades, teoremas y algoritmos referidos a la
lógica, por medio de la resolución de diversas situaciones intra y extra
matemáticas.
2. Aplica las leyes lógicas al simplificar las siguientes fórmulas lógicas, y
escribe la fórmula más simple equivalente a ella:
a) [(~ p  q) → (~ q  p)] ~ (p  q)]

b) [~ p → (p  q)] [(r  s)  ~ s p) ]  ( q  p)

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 3 de 26

 c) ~ q {[(~ p  ~ q)  (p  q)][(p  q) (~ q  ~ p)p]}

d) [p  { p → [q  (q → r )]} ]  ~ q

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 4 de 26

 e)  p → ( q  
r )   p  ( q → r )   p  q  ( p  q )   r  ( r  q )  p 

f) ( q  p)  ( p  q )  ( p → r )   ( p  q )  q  ( (t  s ) → q )

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 5 de 26

3. Dadas los siguientes enunciados, analiza cual o cuales son verdaderas,
justificando tu respuesta.
a) p → q  ~ p  q b) (p  q)  r  p  (q  r)

c) (p  q)  ~ (~ p  ~ q) d) ~ (p  q)  ~ [~ (~ p  ~ q)]

4. Si definimos: p # q  [~ (p  q)  p] , entonces,
[(p  q) # (q  ~ p)] → (q # p) es equivalente a:
a) p → q b) p  q c) ~ ( p → q ) d) ~ (p  q )

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 6 de 26

5. Diseña los circuitos lógicos de las siguientes proposiciones:
𝑎) 𝑝 ∧ [(𝑟 ∨ ~ 𝑞) ∨ (𝑞 ∧ ~𝑟)] 𝑏) [𝑝 ∧ (𝑟 ∨ ~ 𝑞)] ∨ (𝑞 ∧ ~𝑟)

𝑐) [𝑝 → (𝑟 ∨ ~ 𝑞)] ∧ (𝑞 ∨ ~𝑟) 𝑑) 𝑝 → [(𝑟 ∨ ~ 𝑞) → (𝑞 ∧ ~𝑟)]

6. Determina una fórmula lógica simplificada de cada uno de los circuitos

lógicos

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 7 de 26

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 8 de 26
Aplica conceptos, definiciones, propiedades, y algoritmos referidos a reglas de
inferencia, métodos de demostración mediante el análisis de sus enunciados,
estrategias heurísticas, en la resolución de diversas situaciones matemáticas.
7. Investigar sobre las terminologías matemáticas presentadas en la diapositiva
6, proponer 2 ejemplos de cada uno de ellos, indicando la fuente.
Elaborar en un pptt para exponerlo

8. Visualiza los siguientes videos:

https://www.youtube.com/watch?v=fwS7TL6QZUQ
Comentario del video

https://www.youtube.com/watch?v=Me4FmtdEuIA
Comentario del video

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 9 de 26

Analiza diversos contextos intra y extra matemáticos referidos a reglas de
inferencia, métodos de demostración, mediante el análisis de sus enunciados,
estrategias heurísticas, estableciendo la relación entre ellos, determinado y
justificando el valor de verdad de los mismos.

9. Analiza los siguientes argumentos si son válidos identificando las premisas,

la conclusión, su codificación mediante la aplicación del método sugerido.
a) Como es hora de clases, se concluye que en el aula hay profesores y
alumnos, dado que, si es hora de clases, en el aula hay profesores, y hay
alumnos si en el aula hay profesores:
i) Determina las proposiciones simples:
p: q: r:
ii) Codifica las premisas, el argumento:
iii) Analiza la validez del argumento, mediante tablas de verdad

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 10 de 26

 b) “Si Juanito decía la verdad, entonces Sócrates corrompía a la juventud, y
si el tribunal lo condenó equivocadamente, entonces, Juanito no es culpable.
Pero Sócrates no corrompía a la juventud o Juanito es el culpable. Por lo
tanto, Juanito no decía la verdad o el tribunal no condenó a Sócrates
equivocadamente:
i) Determina las proposiciones simples:
p: q: r: s:
ii) Codifica las premisas, el argumento:
iii) Analiza la validez del argumento mediante las leyes lógicas.

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 11 de 26

 c) “Si Juan participa en un comité electoral de la universidad entonces los
estudiantes se enojarán con él, y si no participa en un comité electoral de la
universidad entonces las autoridades universitarias se enojarán con él.
Pero, Juan participará en un comité electoral de la universidad o no
participará. Por lo tanto, los estudiantes o las autoridades universitarias se
enojarán con él”
i) Determina las proposiciones simples:
p: q: r:
ii) Codifica las premisas, el argumento:
iii) Analiza la validez del argumento mediante el análisis de la
codificación del enunciado

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 12 de 26

 d) "Si llueve mucho, el viaje se volvería difícil. Si los estudiantes llegan a
tiempo, entonces viajar no fue difícil. Llegaron a tiempo. Por tanto, no llovió
mucho."
i) Determina las proposiciones simples:
p: q: r:
ii) Codifica las premisas, el argumento:
iii) Analiza si la inferencia es una tautología o una falacia mediante las
inferencias lógicas

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 13 de 26

 e) Dado los siguientes argumentos, analiza la validez del argumento mediante
las tablas de verdad y las leyes lógicas.

Mediante las tablas de verdad

Mediante las leyes lógicas

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 14 de 26

 Mediante las tablas de verdad

Mediante las leyes lógicas

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 15 de 26

 Mediante las tablas de verdad

Mediante las leyes lógicas

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 16 de 26

10. Prueba las proposiciones matemáticas referidas a reglas de inferencia
mediante los métodos de demostración sugerido.
a) Prueba que la conclusión se deduce de las premisas de los siguientes
argumentos, mediante las inferencias lógicas

Mediante las inferencias lógicas

Afirmación Justificación

Mediante las inferencias lógicas

Afirmación Justificación

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 17 de 26

 Mediante las leyes lógicas

b) Dada la proposición: para cualquier n entero, si 𝒏𝟐 es impar, entonces n es

impar, determine la hipótesis y la tesis, y pruebe dicha proposición por el
método por reducción al absurdo (forma indirecta).

Hipótesis
Tesis
Afirmación Justificación

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 18 de 26

 c) Dada la proposición: si 3x − 1 es par, entonces x es impar, determine la
hipótesis y la tesis, y pruebe dicha proposición por el método directo.
Hipótesis
Tesis
Afirmación Justificación

d) Dada la proposición: si 3x − 1 es impar, entonces x es par, determine la

hipótesis y la tesis, y pruebe dicha proposición por el método indirecto.

Hipótesis
Tesis
Afirmación Justificación

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 19 de 26

 e) Dada la proposición: si el producto de dos enteros es par, entonces por lo
menos uno de ellos es par

Hipótesis
Tesis
Afirmación Justificación

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 20 de 26

11. Aplica los principios de inducción matemática probar que:
a) 3.52n+1 + 23n+1 es divisible por 17,  n  ℕ

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 21 de 26

 b) n3 + (n + 1)3 + (n + 2)3 es divisible por 9,  n  ℕ

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 22 de 26

 c) 11n+2 + 122n+1 es divisible por 133,  n ℕ

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 23 de 26

 d) 1 + 3 + 5 + ⋯ + (2𝑛 − 1) = 𝑛2

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 24 de 26

 𝑛2
e) 1 + 22 + 32 + ⋯ + 𝑛2 = (𝑛 + 1)2
4

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 25 de 26

 n
 k  n+2
f)   2
k =0
k 

= 2 − n , n 
2

Mg. RGP/ÁLGEBRA /ACTIVIDAD 1 LÓGICA – MÉTODOS DE DEMOSTRACIÓN / 2024 I 26 de 26