LOGICA MATEMATICA Y DIGITAL

SEMANA 4

Boris Alexander Pino Duarte

20 de diciembre 2021
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 el 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 1= P → Q

Premisa 2= Q → R

Conclusión = P → R

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
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

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á hay un conector de conjunción en lugar de una disyunción, podríamos haber aplicado la ley de
simplificación, si el ejercicio fuera N Λ P quedaría de esta manera:

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

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

CONCLUSION
Con este control, llegamos a la deducción que las reglas de inferencia son muy útiles ya que, nos permiten
llegar a conclusiones sin tener los valores de verdad de las proposiciones lógicas implicadas. Solo
debemos conocer las reglas y donde serán empleadas y cuál es la conclusión que arrojan. También nos
queda claros conceptos tales como hipótesis, antecedentes, consecuente, premisa.
REFERENCIAS BIBLIOGRÁFICAS
(2018). IACC (2018). Argumentos y reglas de inferencia. Lógica Matemática.