Punto a Demostrar ~p

1 (p V q) → (r V s) Premisa 1 1
2 (r V s) → ~ t Premisa 2 2
3 t Premisa 3
3
4 (p V q) → ~ t Silogismo Hipotetico 1 y 2
(p V q) → ~ t 4
5 t MTT 4 y 3 5
~(p V q)
6
6 ~p∧~q Morgan 5
7 ~p Simplificacion 6 7
8

10
11
12

13
Punto b Demostrar p → (~q → ~s) Punto c Demostrar ~ t
p → (q v ~r) Premisa 1 1 (q v r) → p
~r → ~s Premisa 2 2 ~p
3 s → (q v r)
~(p ∧ ~(q v ~r)) 4 ~s → ~t
Implicacion 1
~p ∧ (q v ~r)
~p Simplificando 3 (q v r) → p
(q v ~r) Simplificando 3 5 ~p
~(~r ∧ ~~s) ~(q v r)
Implicacion 2
r ∧ ~s s → (q v r)
r Simplificando 6 6 ~(q v r)
~s Simplificando 6 ~s
q v ~r ~s → ~t
r MTP 5 y 7 7 ~s
q ~t
q v ~s Adicion 9 y 8
~q → ~s Inferencia 10
~p v (~q → ~s) Adicion 4 y 11
~~p → (~q → ~s)
Inferencia 12
p → (~q → ~s)
 Punto d Demostrar u
Premisa 1 1 p∧t Premisa 1 1
Premisa 2 2 p→q Premisa 2 2
Premisa 3 3 q → (r ∧ s) Premisa 3 3
Premisa 4 4 ~r V ~t V u Premisa 4 4
5
5 p Simplificando 1 6
MMT 1 y2 6 t Simplificando 1
7 p → (r ∧ s) Silogismo Hipotetico 2 y 3 7
p → (r ∧ s)
MMT 3 y 5 8 p MMP 7 y 5
(r ∧ s) 8
9 r Simplificando 8
MPP 4 y 6 10 s Simplificando 8
9
~r V ~t V u
11 r MTP 4 y 9
10
~t V u
~t V u
12 t MTP 9 y 6 11
u
Punto e Demostrar ~ t
p → ~q Premisa 1
q V ~r Premisa 2
p∧s Premisa 3
t→r∧s Premisa 4
p Simplificar 3
s Simplificar 3
p → ~q
p MPP 1 y 5
~q
q V ~r
~q MTP 2 y 7
~r
~r v ~s
Adicion 8
~(r v s)
~r ∧ ~s
Morgan
~(r ∧ s)
t→r∧s
~(r ∧ s) MTT 4 y 10
~t