Para resolver con:

MP
a) Demostrar: ¬ q ↔ ¬ t

1. n→¬k
2. ¬ k → [ p →( ¬ q ↔ ¬ t)
3. n
4. p
___________________
5. ¬k 3,1 MP
6. p→ (¬q ↔¬t) 2,5 MP
7. ¬q↔¬t

MT

b) Demostrar: z ↔ c

1. (mvp)→(evr)
2. ¬ (z ↔ c) → ( m v p )
3. ¬(w·q)
4. (evr)→(w·q)
_______________________
5. ¬ (e v r ) 4, 3 MT
6. ¬ ( m v p ) 1, 5 MT
7. ¬¬ ( z ↔ c ) 2, 6 MT
8. z ↔c
SD

c) Demostrar: R · Y

1. ¬kvz
2. ( a ↔ b) v ( e ·d )
3. ¬ z v ( r ·y )
4. ¬ ( e ·d ) v k
5. ¬(a↔b)
6. ¬ z
_________________________
7. ¬ k 1, 6 SD
8. ¬ ( e . d ) 4, 7 SD
9. a ↔ 2, 8 SD
10. ( a ↔ b ) v ( r. y ) 10 ADICION
11. r . y 10, 5 SD

MP y MT

d) Demostrar: ( c v b)

1. ¬ ( c v b) → ¬ o
2. ¬m
3. w→m
4. (p·g)→o
5. ¬(p·g)→w
__________________________
6. ¬ w 3, 2 MT
7. ¬ ¬ ( p . g ) 5, 6 MT
8. p . g 7 DOBLE NEGACION
9. o 4, 8 MP
10. ¬ ¬ o 9 DOBLE NEGACION
11 . ¬ ¬ ( v b ) 1, 10 MT
12. c v b 11 DOBLE NEGACION

MT y SD
 e) Demostrar: T

1. (w ↔ s ) → ¬ ( p v r )
2. ( w ↔s ) v t
3. ¬(pvr)→z
4. ¬z
_______________

5. ¬ ¬ ( p v r ) 3, 4 MT
6. ¬ ( w v s ) 1, 5 MT
7. t 2, 6 SD

2. Para resolver con MP, MT y SD

a) Demostrar: m
1. p→(q v r)
2. p
3. ¬ (m v t) → ¬(q v r)
4. ¬ t
_______________
5. q v r 1, 2 MP
6. ¬ ¬ ( m v t ) 3, 5 MT
7. m v t DOBLE NEGACION
8. m 7, 4 SD

b) Demostrar: q
1. ¬p→ (q v ¬r)
2. p → s
3. ¬s
4. r
________________
5. ¬ p 2, 3 MT
6. (q v ¬ r ) 1. 5 MP
7. q 5, 6 SD

c) Demostrar: ¬r

1. {(m v ¬t) →[q v (r→z)]} v ¬[p→ (q v ¬r)]

2. (m v ¬t)
3. p→ (q v ¬r)
4. ¬r
5. ¬z
__________________________________
6. ¬ r REITERAR

d) Demostrar: ¬ j

1. 1. j→ ¬ (z v h)
2. 2. m v (z v h)
3. 3. p . q
4. 4. ¬t
5. 5. (p . q) → (m → t)
______________________
6. m → t 5, 3 MP
7. ¬ m 6, 4 MT
8. z v h 2, 7 SD
9. ¬ j 1, 8 MT

e) Demostrar: ¬(t ↔ s)
1. 1. a → (b v c)
2. 2. a v (p . q)
3. 3. ¬(t ↔ s) v ¬ (p ∙ q)
4. 4. ¬(b v c)
______________________________
5. ¬ a 1, 4 MT
6. p ^ q 2, 5 SD
7. ¬¬ ( p ^ q ) 6 doble negación
8. ¬ ( t ↔ s ) 3, 7 SD