SOLUCION TALLER 6

Integrantes:

Felipe Andr Buitrago Porras

Edwin Alexander Ramrez Vargas
Mariana Lucia Rojas Rodrguez
Nicholson Stive Ochoa Garca

Docente:
Jairo Ivn Pea Ayazo

Universidad Nacional de Colombia

Facultad de Ciencias Econmicas
Argumentacin
Bogot, Colombia
Septiembre, 2017
 EJERCICIOS
Realice la demostracin formal de los siguientes argumentos expresados en lenguaje
simblico (-| significa por consiguiente, o conclusin final, que es el resultado al cual hay
que llegar)

a. 1. p vq |- s
2. t (p^q)

3. t s

----------------------------
4. (p^q) (De. M. 1)
5. t (M.T. 2,4)
6. s (M.P. 3,5)

b. 1. (p q) r |- s
2. (p r) t

3. t s
4. p
_________

5. (p r) v (q r) (expp 1) (identidad no vista en clase, pero vlida)

6. p (q r) (exp1)

7. q r (MP 6,4)

8. p r (simpl 1)

9. t (MP 2,8)
10. s (MTP 3,9)

c. 1. q p |- t
2. q s

3. (p s) (t v r)

4. r
____________________

5. p q (contr. 1)
 6. p s (AH 5,2)

7. t v r (MP 3,6)
8. t (MTP 7,4)

d.
1. p v (q^r) |- t
2. p
3. r (q^p)
4. (p^q) t
_____________________
5. (p v q) ^ (p v r) (Dist 1.)
6. (p v r) (Simpl 5.)
7. r (MTP 6,2)
8. (q^p) (MP 3, 7)
9. (p^q) (conm 8)
10. t (MP 4,9)

e.

1. (p v q) (q r) |- w
2. r
3. p
4. q (s v t)
5. s
6. t w
____________________

7. [(pvq)^q] r (exp 1)
8. [(pvq)^q] (MT 7,2)
9. (pvq) (simpl 8)
10. q (MTP 9,3)
11. s v t (MP 4,10)
12. t (MTP 11,5)
13. w (MP 6,12)