Para resolver con:

MP
a) Demostrar: ¬ q ↔ ¬ t

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

MT

b) Demostrar: z ↔ c

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

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. ( e ·d ) MTP 2,5
7. k MTP 4,6
8. z MTP 1,7
9. r·y MTP 3,8
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 MTT 2,3
7. (p · g) MTT 5,6
8. o MPP 4,7
9. ( c v b) MTT 1,8

MT y SD

e) Demostrar: R

1. (w ↔ s ) → ¬ ( p v r )
2. ( w ↔s ) v t
3. ¬(pvr)→z
4. ¬z
_______________
5. pvr MTT 3,4
6. ¬(w ↔s) MTT 1,5
7. t MTP 2,6
8. p v r = ¬ p = r MTP
r

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) MPP 1,2
6. (m v t) MTT 3,5
7. m MTP 4,6

b) Demostrar: q
1. ¬p→ (q v ¬r)
 2. p → s
3. ¬s
4. r
5. ¬p MTT 2,3
6. (q v ¬r) MPP 1,5
7. r MTP 4,6

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. {(m v ¬t) →[q v (r→z)]} MTP 1,3
7. [q v (r→z)] MPP 2,6
8. ¬r MTP 5,7

d) Demostrar: ¬ j

1. j→ ¬ (z v h)
2. m v (z v h)
3. p.q
4. ¬t
5. (p . q) → (m → t)
6. m → t MPP 3,5
7. ¬m MTT 4,6
8. (z v h) MTP 2,7
9. ¬j MTT 1,8
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 MTT 1,4
6. p . q MTP 2,5
7. ¬(t ↔ s) MTP 3,6