1.

1
1. p q
2. ~q
3. ~p r / ~ (~r)
4. ~p1 y 2 ModusTollendo Tollens
5. r3 y 4 Modus Ponendo Ponens
6. ~ (~r) 5 Doble Negacin
1.2
1. ~A ~B
2. B / A
3. ~ (~A) 1 y 2 MTT
4. A. 3 DN
1.3
1. G H
2. ~G ~ (~F)
3. ~ H/ F
4. ~G 1 y 3 MTT
5. ~ (~F) 2 y 4 MPP
6. F. 5 DN
1.4
1. x=y x = z
2. x =z x = 1
3. x = 0 x 1
4. x = y / x 0
5. x = z 1 y 4 MPP

6. x =1 2 y 5 MPP
7. x 0 3 y 6 MTT
1.5
1. x=y y = z

2. y =z y = w
3. y = w y = 1
4. y 1 / x = y y = w
5. x = y y = w 1 y 2 Silogismo Hipottico
1.6
1. B
2. B ~D
3. A v D / A ^ B
4. ~ D 1 y 2 MPP
5. A 3 y 4 Silogismo Disyuntivo
6. A ^ B 1 y 5 Conjuncin
1.7
1. T P v Q
2. ~ (~ T)
3. ~ Q / P
4. T 2 DN
5. P v Q 1 y 4 MPP

6. P 3 y 5 SD
1.8
1. ~p ^ q r
2. (~p ^ q) v ~ t
3. t ^ ~s / (r v u) ^ ~s
4. t 3 Simplificacin
5. ~s 3 Simplificacin
6. ~p ^ q 2 y 4 SD
7. r 1 y 6 MPP
8. r v u 7 Adicin
9. (r v u) ^ ~s 5 y 8 Conjuncin
1.9
1. p ^ ~t
2. s t
3. s v q
4. q v p u / u
5. ~t 1 Simplificacin
6. ~s 2 y 5 MTT
7. q 3 y 7 SD
8. q v p 7 Adicin

9. u 4 y 8 MPP
1.10
1. x + 2 5 v 2x = 6
2. x + 2 5 x 3
3. 2x - 2=8 2x 6
4. x+ 3 =8 ^ 2x - 2=8 / x 3 v x > 2

5. 2x - 2=8 4 Simplificacin

6. 2x 6 3 y 5 MPP
7. x + 2 5 1 y 5 SD
8. x 3 2 y 7 MPP
9. x 3 v x > 2 8 Adicin

1. 11
1. ~r s

2. s p ^ q
3. r t
4. ~t / q
5. ~r 3 y 4 MTT
6. s 1 y 5 MPP
7. p ^ q 2 y 6 MPP
8. q 7 Simplificacin

1. 12
1. ~s
2. p ~q
3. q ^ ~r
4. ~p (~s ~m)/ ~m
5. q 3 Simplificacin
6. ~p 2 y 5 MTT
7. ~s ~m 4 y 6 MPP
8. ~m 1 y 7 MPP
1.13
1. ~(p q) v ~r
2. q v (~q ^ ~p)
3. q ^ (~q v r)
4. t / (~p v s) ^ t
5. ~ (~p v q) v ~r. 1 Definicin de condicional
6. (p ^ ~q) v ~r. 1 Ley de Morgan
7. q3 Simplificacin
8. ~q v r 3 Simplificacin
9. r 7 y 8 SD
10. (p ^ ~q) 6 y 9 SD

11. ~q 10 Simplificacin
12. (~q ^ ~p) 2 y 11 SD
13. ~p 12 Simplificacin
14. ~p v s 13 Adicin
15. (~p v s) ^ t 4 y 14 Conjuncin
1. 14
1. x y y < x
2. ( x > 5 y < x) y = 5

3. y 5 v x=6
4. x > 5 x y / x =6 v x > 6

5. x > 5 y < x 1 y 4 SH
6. y =5 2 y 5 MPP
7. x =6 3 y 6 SD
8. x =6 v x > 6 7 Adicin

1.15
1. (p ~q) t

2. t ~ (q s)
3. ~q v ~t
4. ~ (p ^ q) / (~p v w) ^ ~s
5. (~p v ~q) t 1 Def. de condicional

6. ~p v ~q 4 Ley de Morgan
7. t 5 y 6 MPP
8. ~ (q s) 2 y 7 MPP
9. q ^ ~s 8 Def. de condicional y de Morgan
10. q 9 Simplificacin
11. ~s 9 Simplificacin
12. ~p 6 y 10 SD
13. ~p v w 12 Adicin
14. (~p v w) ^ ~s 11 y 13 Conjuncin

1.16
1. (p ^ q) v ~ [~(r p)]
2. (~p ^ r) ^ (q v r)
3. (p ~s) ~[ ~(p ~q)] / ( s v m) ^ r
4. (p ^ q) v (~r v p) 1 Def. de condicional y Doble negacin
5. (~p v ~s) (~p v ~q)3 Def. de condicional y Doble negacin
6. (p ^ s) v (~p v ~q) 5 Def. de condicional
7. (~p ^ r),,, 2 Simplificacin
8. ~( p v ~r) 7 Ley de Morgan
9. p ^ q 4 y 8 SD

10. ~(~p v ~q) 9 Ley de Morgan

11. p ^ s 6 y 10 SD
12. r 7 Simplificacin
13. s 11 Simplificacin
14. s v m 13 Adicin
15. (s v m) ^ r 12 y 14 Conjuncin

1.17
1. (~p ^ q) (~r v ~s)
2. ~ (p v ~q)
3. (t v m) ^ (n ^ p)
4. ~(r ^ s) ~t / (p ^ m) v (p ^ ~q)
5. ~p ^ q 2 Ley de Morgan
6. (~r v ~s) 1 y 5 MPP
7. ~(r ^ s) 6 Ley de Morgan
8. ~t 4 y 7 MPP
9. t v m 3 Simplificacin
10. n ^ p3 Simplificacin
11. p 10 Simplificacin
12. m 8 y 9 SD

13. p ^ m 11 y 12 Conjuncin
14. (p ^ m) v (p ^ ~q) 13 Adicin

1.18
1. ~p ~t
2. r ~ (p ^ ~q)
3. (p q) ~p
4. r ^s / s ^ ~t
5. r 4 Simp.
6. s 4 Simp.
7. ~ (p ^ ~q) 2 y 5 MPP
8. p q 7 Ley de Morgan y Def. de condicional
9. ~p 3 y 8 MPP
10. ~t 1 y 9 MPP
11. s ^ ~t Conjuncin

1.19
1. (~p v q) v ~r
2. s p
3. ~t v q

4. s v t / r q
5. ~t s 4 Condicional
6. ~q ~t 3 Condicional
7. ~q s 5 y 6 SH
8. ~q p 2 y 7 SH
9. ~(p ^ ~q) ~r 1 De Morgan y Condicional

1.20.
1. ~ (r v s) v t
2. p ~t
3. ~p s / r s
4. ~s p 3 Contrapositiva
5. ~t ~ (r v s)1 Def. de condicional
6. ~s ~t 2 y 4 SH
7. ~s ~ (r v s) 5 y 6 SH
8. s v ~(r v s) 7 Def. de condicional
9. s v (~r ^ ~s) 8 Ley de Morgan
10. (s v ~r) ^ (s v ~s)9 Ley de Distribucin
11. s v ~r 10 Simplificacin
12. r s 11 Def. de condicional

1. 21
1. r s
2. p v r
3. p q / ~q (s v r )
4. ~q ~p 3 Contrapositiva
5. ~p r 2 Def. de condicional
6. ~q r 4 y 5 SH
7. ~q s 1 y 6 SH
8. q v s 7 Def. de condicional
9. (q v s) v r 8 Adicin
10. q v (s v r) 9 Ley de asociacin
11. ~q (s v r) 10 Def. de condicional

1.22
1. (p ^ q) (r v s)
2. ~r ^ ~s / p ~q
3. ~(p ^ q) v (r v s) 1 Def. de condicional
4. ~ (r v s) 2 Ley de Morgan
5. ~(p ^ q) 3 y 4 SD
6. ~p v ~q 5 Ley de Morgan

7. p ~q 6 Condicional

1.23
1. p ~q
2. r v ~s
3. s v ~p
4. ~r / p (~q ^ ~s ^ r) = ~p v (~q ^ ~s ^ r)= (~p v ~q) ^ [~p v (~s ^ r)]
5. ~s 2 y 4 SD
6. ~p 3 y 5 SD
7. ~q 1 y 6 SD

1.24
1. p q
2. q ~r
3. s v t
4. r v ~s / ~t ~p
5. ~q ~p 1 Contrapositiva
6. r ~q 2 Contrapositiva
7. s r 4 Condicional
8. ~t s 3 Condicional

9. ~t r 7 y 8 SH
10. ~t ~q 6 y 9 SH
11. ~t ~p 5 y 10 SH
1.25
1. ~p
2. ~r t
3. s v p / ~ (r ^ s) t = (r ^ s) v t = (r v t) ^ (s v t)
4. s 1 y 3 SD
5. s v t 4 Adicin
6. r v t 2 Def. de condiconal
7. (r v t) ^ (s v t) 5 y 6 Conjuncin

1.26
1. ~p v ~q
2. q v ~s
3. (p ~s) ~t
4. ~r v t / ~r
5. p ~q 1 Condicional
6. ~q ~s 2 Condicional
7. p ~s 5 y 6 SH

8. ~t 3 y 7 MPP
9. ~r. 4 y 8 SD
1. 27
1. r ~z
2. ( t v s) r
3. z v ~s
4. ~t / ~ (t v s) = ~t ^ ~s
5. (t v s) ~z 1 y 2 SH
6. (~t ^ ~s) v ~z 5 Def. de condicional y de Morgan
7. (~t v ~z) ^ (~s v ~z)6 Ley de distribucin
8. (~t v ~z) 7 Simplificacin
9. ~z 8 Simplificacin
10. ~s 3 y 9 SD
11. ~t ^ ~s 4 y 10 Conjuncin
1.28
1. p (q r)
2. p (s t)
3. p ^ (q v s)
4. ~r / t
5. p 3 Simplificacin

6. (q r) 1 y 5 MPP
7. ~q v r 6 Def. de condicional
8. ~q 4 y 7 SD
9. (q v s) 3 Simpl.
10. s 8 y 9 SD
11. (s t) 2 y 5 MPP
12. ~s v t 11 Def. de condicional
13. t 10 y 12 SD

1.29
1. (p ~q) ^ (q ~r)
2. r p
3. ~s q / s
4. ~q s 3 Contrapositiva

1.30
1. (p ~q) ^ (r s)
2. (~q t) ^ (s ~x)
3. (t ~y) ^ (~x z)
4. p ^ r / ~y ^ z

5. p 4 Simpl.
6. r. 4 Simpl.
7. (p ~q) 1 Simpl.
8. (r s) 1 Simpl.
9. (~q t) 2 Simpl.
10. (s ~x) 2 Simpl.
11. (t ~y) 3 Simpl.
12. (~x z) 3 Simpl.
13. p ~y 7, 9 y 11 SH
14. r z 8, 10 y 12 SH
15. ~y5 y 13 MPP
16. z 6 y 14 MPP
17. ~y ^ z 15 y 16 Conjuncin