NOMBRE DE ASIGNATURA: LÓGICA MATEMÁTICA Y DIGITAL

SEMANA 4

Nombre del estudiante: Juan Riquelme Morales

Fecha de entrega: 04.07.2022
Carrera: Téc en Telecomunicaciones
INTRODUCCIÓN
Para comprender la lógica de las proposiciones es fundamental conocer las reglas básicas y
fundamentales para luego realizar inferencias correctas y acordes a las proposiciones planteadas. Si estos
puntos se realizan adecuadamente podremos concluir o deducir fácilmente y sin errores. En esta semana
hablaremos de las reglas de las inferencias.

DESARROLLO
1. Teniendo en cuenta el siguiente enunciado, represente el mismo y determine mediante el
uso de las reglas de inferencia si la conclusión planteada es válida.

Si Juan no estudia matemáticas entonces no aprueba, Si Juan no aprueba pierde el

semestre; por lo tanto, si Juan no estudia matemáticas entonces perderá el ciclo.

Premisa 1 = Juan estudia matemáticas = q

Premisa 2 = Juan aprueba matemáticas = r
Premisa 3 = Juan pierde semestre = s
1= ￢q → ￢r
2= ￢r → s
3=Conclusión: ￢q → s
4= ￢q → s LSH 1,2

Ley de silogismo hipotético

Premisa P → Q
Premisa Q → R
Conclusión P → R

2) Utilizando las reglas de inferencia, demostrar que “q” es una conclusión válida para las
siguientes:

1=↔ (s Λ q) (p)
2= ￢[ ￢(s Λ q) V r] (p)
3= (s Λ q) Λ ￢r LM 2
Ley de Morgan
Premisa ￢(P Λ Q)
Conclusión ￢P V ￢ Q

3) Utilizando las reglas de

inferencia, demostrar que H Λ T es
una conclusión válida para las
siguientes
proposiciones.
1= ￢ ( ￢ P V ￢ Q) (p)
2= P→ (H Λ T) (p)
3= Q → (H Λ T) (p)
4= P Λ Q LM 1
Premisa ￢ (P V Q)
Conclusión ￢PVQ
5= (H Λ T) V (H Λ T) LSil.D
(Silogismo) 2, 3 y 4
Premisa P V Q
Premisa P → R
Premisa Q → S
Conclusión R V S
6= H Λ T LSim.D (Simplificación)
5
Premisa P V P
Conclusión P
4) Utilizando las reglas de
inferencia, demostrar que P V H, es
una conclusión válida para las
siguientes
proposiciones.
1= N→ ￢Q (p)
2=￢￢Q (p)
3=￢(N V P)→ N (p)
4= ￢ N MTT 1 y 2
Premisa P → Q
Premisa P → Q
Conclusión ￢P
5= N V P MTT 3 y 4
3) Utilizando las reglas de inferencia, demostrar que H Λ T es una conclusión válida para las siguientes
proposiciones.

1= ￢( ￢P V ￢Q) (p)
2= P→ (H Λ T) (p)
3= Q → (H Λ T) (p)
4= P Λ Q LM 1

Premisa ￢(P V Q)
Conclusión ￢P V Q

5= (H Λ T) V (H Λ T) LSil.D (Silogismo) 2, 3 y 4

Premisa P V Q
Premisa P → R
Premisa Q → S
Conclusión R V S

6= H Λ T LSim.D (Simplificación) 5

Premisa P V P
Conclusión P

4) Utilizando las reglas de inferencia, demostrar que P V H, es una conclusión válida para las siguientes
proposiciones.

1= N→ ￢Q (p)
2=￢￢Q (p)
3=￢(N V P)→ N (p)
4= ￢N MTT 1 y 2
Premisa P → Q
Premisa P → Q
Conclusión ￢P

5= N V P MTT 3 y 4

Acá existe un conector de conjunción en lugar de disyunción, podríamos haber aplicado la ley de
simplificación, y si el ejercicio fuese N Λ P quedaría de la siguiente forma:

6= P LS 5 (simplificación)
Premisa P Λ Q
Conclusión P

7= P V H LA 6 (Adición)

Premisa P
Conclusión P V Q
Acá existe un conector de
conjunción en lugar de
disyunción, podríamos haber
aplicado la ley de
simplificación, y si el ejercicio
fuese N Λ P quedaría así :
6= P LS 5 (simplificación)
Premisa P Λ Q
Conclusión P
7= P V H LA 6 (Adición)
Premisa P
Conclusion P V Q
CONCLUSIÓN
Una inferencia es la forma en que se pueden hacer conclusiones y que estas sean válidas, esto en base a
ideas, hipótesis o declaraciones preestablecidas. Esto es un poco complejo de entender pero necesario
para la lógica y para las programaciones de programas y aplicaciones.

REFERENCIAS BIBLIOGRÁFICAS
IACC. (2018). Lógica proposicional. Lógica matemática y Digital. Semana 4