LOGICA MATEMATICA

SEMANA 4

Nicolas gonzalez
22-12-2021
 DESARROLLO

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.
p: juan estudia matematicas
q: juan aprueba
r: juan pierde el semestre
¬p → ¬r (c)
1. ¬p → ¬q (p)
2. ¬q → ¬r (P)
3. ¬p → ¬r (T, 1.2)

1. Utilizando las reglas de inferencia, demostrar que “q” es una conclusión válida para las
siguientes proposiciones:
1 r↔(s Λ q) (p)
2 ¬[¬(s Λ q) V r] (p)
3 (s ˄ q) (T.P, 1)
4 (s Λ q) V r (D.N., 2)
5 r (T.P, 1.2)

2. Utilizando las reglas de inferencia, demostrar que H Λ T es una conclusión válida para las
siguientes proposiciones: (3pts).

1 ¬(¬ P V ¬ Q) (p)
2 P → (H Λ T) (p)
3 Q → (H Λ T) (p)
4 P→Q (T, 1.2)
5 ¬Q (T.T, 4)
6 ¬P (T.P, 4.1)
7 ¬ (H Λ T) (T.P, 2.6)
8 HΛT (D.N, 7)
3. Utilizando las reglas de inferencia, demostrar que P V N, es una conclusión válida para las
siguientes proposiciones: (3pts).
1 N→ ¬Q (p)
2 ¬¬Q (p)
3 ¬(P V N)→ N (p)
4 (P V N)→ N (D.N,3)
5 ¬Q (T.P, 1)
6 Q (D.N,2.5)
7 ¬N (T.P, 1.6)
8 ¬P V N (T.P, 4.7)
9 PVN (D.N,8)