Control semana 4

Mario Ponce Perez

Lógica Matemática y Digital

Instituto IACC

12-10-2020
 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 valida 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 PVQ
Premisa P→R
Premisa Q→S
Conclusión RVS

6= H Λ T LSim.D (Simplificación) 5
Premisa PVP
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 así :
6= P LS 5 (simplificación)
Premisa PΛQ
Conclusión P

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

Conclusion PVQ
Bibliografía