Lgica 2 (2013-1)

Mtro. Cristian A. Gutirrez

http://espanol.groups.yahoo.com/group/logicaUNAM2013/
Tarea 6
(Grupo 0004 entrega el jueves 14 de marzo)
(Grupo 0022 entrega el viernes 15 de marzo)

Nombre:____________________________________________ Grupo:________________
INSTRUCCIONES: La tarea debe estar completamente resuelta, tiene que ser contestada a computadora, tiene
que ser entregada el da que se indica arriba y tiene que estar engrapada.
Nuestro sistema de reglas de lgica proposicional es el siguiente:
Reglas de Introduccin
Reglas de Eliminacin

sup.
....

sup.
...

[() ()]

[() ()]

[() ()]

[() ()]

sup.
...

sup.
...

sup.
...

NOTA: Recuerden que la nica forma de introducir supuestos (que es lo mismo que hiptesis) es usando una
regla que lo permita, de tal forma que no puedes probar cosas simplemente suponindolas, tienen que respetar la
forma de la regla. Las reglas que requieren de introducir supuestos son la Introduccin de la Condicional (I ), la
Eliminacin de la Disyuncin (E), la Introduccin de la Negacin (I~) y la Eliminacin de la Negacin (E~).
NOTA 2: Esto son otros nombre usuales para algunas de nuestra reglas.
Introduccin del Condicional (I): Prueba condicionada, Metateorema de la deduccin.
Eliminacin del Condicional (E): Modus Ponens o Modus Ponendo Ponens.
Introduccin de la Conjuncin (I): Conjuncin.
Eliminacin de la Conjuncin (E): Simplificacin.
Introduccin de la Disyuncin (I): Adicin.
Eliminacin de la Disyuncin (E): Prueba por casos.
Introduccin de la Negacin (I~) y Eliminacin de la Negacin (E~): Prueba por Reduccin al Absurdo.

Nuestras reglas para la construccin de rboles de verdad son las siguientes:

()

()

()

()

Doble Negacin
Introduccin de la contradiccin

~~

1. Considera la siguiente afirmacin: La historia humana culminara en un mundo moralmente

perfecto. Da un argumento a favor de esta afirmacin y uno en contra (se espera que sean
buenos argumentos) los argumentos pueden ser del tipo que quieras, indica de qu tipo de
argumento se trata (1/2 punto por cada argumento, en total 1 punto)
Argumento a favor: __________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
Tipo de argumento:___________________________________________________________________
Argumento en contra:_________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
___________________________________________________________________________________
Tipo de argumento:___________________________________________________________________

2. Demuestra que los siguientes son argumentos vlidos usando deduccin natural (puedes usar
todas las reglas) (1 PUNTO cada una, en total 7 puntos):
a) 1. P (Q R)
2. ~P
/ ~R ~Q
3. ~R
hip.
4. Q
hip.
5. ~P
hip.
6.
E (2,5)
7. P
E~ (5-6)
8. Q R
E (1,7)
9. R
E (4,8)
10.
I (3,9)
11. ~Q
I~ (4-10)
12. ~R ~Q I (3-11)
b) 1. ~R T
2. R (S ~T)
/ ~R (S T)
3. ~R
hip.
4. S
hip.
5. T
E (1,3)
6. S T
I (4-5)
7. ~R (S T)
I (3-6)
8. S T
hip.
9. R
hip.
10. S ~T
E (2,9)
11. S
E (10)
12. ~T
E (10)
13. T
E (8,11)
14.
I (12,13)
15. ~R
I~ (9-14)
16. (S T) ~R
I (8-15)
17. (~R (S T)) ((S T) ~R)
18. ~R (S T)
I (17)
c) 1. R
/ R T
2. R
hip.
3. ( R) (R ) E (1)
4. R
E (3)
5.
E (2,4)
6. T
E (5)
7. R T
I (2-6)

I (7,16)

d) 1. ~(S ((T R) P))

2. (~R ~T) ~R
3. ~T (U R)
4. U R
/ R U
5. (U R) (~U ~R)
E (4)
6. U R
hip.
7. U
E (6)
8. R
E (6)
9. R U
I (7,8)
10. ~U ~R
hip.
11. (T R) P
hip.
12. S
hip.
13. (T R) P
rep. (11)
14. S ((T R) P)
I (12-13)
15.
I (1,14)
16. ~((T R) P) I~ (11-15)
17. ~(T R)
hip.
18. T R
hip.
19.
I (17,18)
20. P
E (19)
21. (T R) P
I (18-20)
22.
I (16,21)
23. T R
E~ (17-22)
24. T
hip.
25. R
E (23-24)
26. ~R
E (10)
27.
I (25,26)
28. ~T
I~ (24-27)
29. U R
E (3,28)
30. U
hip.
31. ~U
E (10)
32.
I (30,31)
33. R
hip.
34. ~R
E (10)
35.
I (33,34)
36.
E (29,30-35)
37. R U
E (36)
38. R U
E (5,6-37)

e) 1. ~(P S)
2. ~(R S)
3. (~P R) U
/~U S
4. S
hip.
5. P S
I (4)
6.
I (1,5)
7. ~S
I~ (4-6)
8. P
hip.
9. P S
I (8)
10.
I (1,9)
11. ~P
I~ (8-10)
12. ~R
hip.
13. R
hip.
14.
I (12,13)
15. S
E (14)
16. R S
I (13-15)
17.
I (2,16)
18. R
E~ (12-17)
19. ~P R
I (11,18)
20. (~P R) (~~P ~R) I (19)
21. ~P R
I (20)
22. U
E (3,21)
23. ~U
hip.
24.
I (22,23)
25. ~~U
I~ (23-24)
26. (~~U ~S)
I (7,25)
27. (~U S) (~~U ~S) I (26)
28. ~U S
I (27)
f) 1. P (P ~T)
2. ~P
/ T
3. ~(P ~T)
4. ~~T
5. T

E2 (1,2)
Cond.Falso (3)
DN (4)

g) 1. P (~P ~T)
2. T (P ~S)
3. Q S
/ ~Q
4. P
hip.
5. ~P ~T
E2 (1,4)
6. ~P
E (5)
7.
I (4,6)
8. ~P
I~ (4-7)
9. ~(~P ~T) E2 (1,8)
10. P T
DeMorgan (9)
11. T
Sil.Dis. (8,10)
12. P ~S E2 (2,11)
13. ~S
Sil.Dis. (8, 12)
14. ~Q
MT (3,13)
3. Analiza los siguientes argumentos usando el mtodo de rboles de verdad, en cada caso indica
si se trata de un argumento vlido o invlido, si el argumento es invlido da la asignacin de
valores que muestra que podemos tener premisas verdaderas y conclusin falsa. (1 punto cada
una, en total 4 putos)
h) 1. ~(P (Q ))
2. ~(Q (S (P ))
/ ~(P Q) S

El argumento es invlido
~(P (Q ))
~(Q (S (P ))
~(~(P Q) S)
~~(P Q)
~S
PQ

P
Q
P
~(Q )
Q
~
Q
~(S (P ))
~S
~(P )

~P
(Q )

~Q
(S (P ))

~P
~Q
P
~(Q )
Q
~

~P
(Q )

P
~
Por lo tanto el argumento es invlido y la asignacin que lo muestra es v(P)=V, v(Q)=V, V(S)=F.

i) 1. P
2. (S ) P
/ ~S

El argumento es vlido

P
(S ) P
~(~S )
~S
~

~P
~(S )

S
~

4. Demuestra que las siguientes son frmulas, es decir, construye las frmulas a partir las reglas de
formacin. (1 PUNTO cada una, en total 4 puntos)
I. x(x=x)
1. x
es trmino por (2t)
2. (x=x)
es frmula atmica por (1fa)
3. (x=x)
es frmula por (1f)
4.

x(x=x)

1.
2.
3.
4.
5.
6.
7.

II. R3(a,a',a'') (a=a')

a
es trmino por (1t)
a'
es trmino por (1t)
a''
es trmino por (1t)
R3(a,a',a'')
es frmula atmica por (3fa)
R3(a,a',a'')
es frmula por (1f)
(a=a')
es frmula atmica por (1fa)
(a=a')
es frmula por (1f)

es frmula por (4f)

8. R3(a,a',a'') (a=a')

es frmula por (3f)

1.
2.
3.
4.
5.
6.

III.~P(f2(a,a'))
a
es trmino por (1t)
a'
es trmino por (1t)
f2(a,a')
es trmino por (3t)
P(f2(a,a'))
es frmula atmica por (2fa)
P(f2(a,a'))
es frmula por (1f)
~P(f2(a,a'))
es frmula por (2f)

1.
2.
3.
4.
5.
6.
7.

IV. x(P(x) (x=f1(a)))

a
es trmino por (1t)
x
es tmrino por (2t)
f1(a)
es trmino por (3t)
(x=f1(a))
es frmula atmica por (1fa)
(x=f1(a))
es frmula por (1f)
P(x)
es frmula atmica por (2fa)
P(x)
es frmula por (1f)

8. (P(x) (x=f1(a)))

es frmula por (3f)

9. x(P(x) (x=f1(a))) es frmula por (4f)

5. Contesta las siguientes preguntas (1 PUNTO cada una, para un total de 2 puntos)
I. Fernando es amigo del mejor amigo de Esa. Cul es la simbolizacin ms adecuada para la
oracin anterior? (Diccionario: a: Fernando, a': Esa, f1x: el mejor amigo de x, R2xy: x es amigo
de y)
a) R2(a',f1(a))
b) R2(a,f1(a'))
c) R2(f1(a'),a)
d) R2(f1(a),a')
II. El mejor filsofo de todo la historia de acuerdo a lvaro es Kant. Cul es la simbolizacin
ms adecuada para la oracin anterior? (Diccionario: a: lvaro, a': Kant, f1x: el mejor filsofo
de toda la historia de acuerdo a x)
a) ( f1(a') = a)
b) ( f1(a') = a')
c) ( f1(a) = a)
d) ( f1(a) = a')
6. Bonus para oos (1/2 punto extra para la tarea): Bonus para oos: Existe en el Pacfico Sur
una isla conocida como la Isla de los caballeros y los bribones. En esta isla existen dos tipos de
personas los caballeros que siempre dicen la verdad y los bribones que siempre mienten. Cul
de las siguientes frases no puede ser dicha por ningn nativo de la isla?
a) Soy un bribn si y slo si soy un bribn.
b) Soy un caballero si y slo si soy un bribn.
c) Si soy un caballero, entonces soy un bribn.
d) Si soy un bribn, entonces soy un caballero.
7. Ejercicio para medio punto extra: Presentar un argumento filosfico deductivo, indicar de
dnde fue extrado, indicar de manera clara cules son las premisas y cul es la conclusin. (
punto para el examen 3)