TRABAJO FINAL

I. Qu conclusin se puede sacar de cada uno de los siguientes conjuntos de premisas? Es decir,
qu proposicin lgica se sigue de las premisas?
1. Si usted est en Madrid, entonces su reloj seala la misma hora que en Barcelona. Usted est en
Madrid.
2. Si no nos despedimos ahora, entonces no cumpliremos nuestro plan. No nos despedimos ahora.
3. Si esta planta no crece, entonces o necesita ms agua o necesita abono. Esta planta no crece.
4. Son las cinco. Si son las cinco, entonces la oficina est cerrada.
5. Si vivo en la capital de los Estados Unidos, entonces no vivo en ninguno de los cincuenta
estados. Vivo en la capital de los Estados Unidos.

II. Utilizando modus ponendo ponens sacar una conclusin de cada uno de los conjuntos de
premisas siguientes. Escriba la conclusin en la lnea 3.
2. (1) pr
(2 ) p
(3)

1. (1) p v qr
(2) p v q
(3)

3. (1) pqvr
(2) p
(3)

III. Colocar una C junto a cada ejemplo en el que la conclusin es correcta segn el modus
ponendo ponens. Colocar una I junto a cada conclusin incorrecta.
1. Premisas: s y s t ; conclusin: t
2. Premisas: p q y p ; conclusin: q
3. Premisas: p q y q ; conclusin: p
4. Premisas: s y r s ; conclusin: r
5. Premisas: r y r s ;

conclusin; s

IV. Qu conclusin se puede deducir de cada uno de los conjuntos de premisas siguientes
utilizando el modus tollendo tollens? Escribir las conclusiones en castellano.
1. Si el arriendo se mantiene vlido, entonces el dueo es responsable de las reparaciones.
El dueo no es responsable de las reparaciones.
2. Si llovi la pasada noche, entonces las pistas se han limpiado. Las pistas no se han
limpiado.
3. Jos no es mi hermano. Si Susana es mi hermana, entonces Jos es mi hermano.

V. Deducir una conclusin de cada uno de los conjuntos de premisas siguientes, aplicando
la regla del modus tollendo tollens.
1. (1) q r

2. (1)p q

(2) r
(3)

(2) q
(3)

3. (1) p v q r
(2) r
(3)

VI. Qu conclusin en forma de proposicin escrita en castellano , se puede deducir de cada uno
de los conjuntos de premisas siguientes utilizando la regla tollendo ponens?
1) Este hombre o es un abogado o es un poltico. No es un abogado.
2) El puerto de Nueva Orleans o est en el golfo de Mjico o est en el ocano Atlntico. No est
en el ocano Atlntico.
3) O hace fro y llueve o el festival se celebrar al aire libre. Ni hace fro ni llueve.

VII. Deducir una conclusin de cada uno de los conjuntos de premisas siguientes,

aplicando la regla del modus tollendo ponens.

1. (1) q v r
(2) r
(3)

2. (1) t v r
(2) r
(3)

3. (1) t v (p q)
(2) t
(3)

VIII. Qu conclusin se puede sacar, si se puede sacar alguna, por la ley del silogismo hipottico
de los conjuntos de proposiciones siguientes?
1. Si un haz fino de fotones penetra en un gas en una cmara de niebla, entonces los fotones
expulsan electrones de los tomos del gas. Si los fotones expulsan electrones de tomos de gas,
entonces la energa de la luz se convierte en energa cintica de los electrones.
Luego,
2. Si los hombres son caballeros, entonces son respetuosos.
Si son respetuosos, entonces tratan bien a las damas.
Luego,.
3. Si mi Miguel est en casa, entonces no hace nada.
Si no hace nada, entonces no trabaja.
Luego,
IX. Utilizar la ley del silogismo hipottico (HS) en una demostracin formal para obtener una
conclusin de los siguientes conjuntos de premisas.
1. (1) q p
(2) p r
(3)

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

Nota: Grupos de cuatro, mximo cinco estudiantes.

Fecha de entrega: Noviembre 20 de 2013.

3. (1) p r s
(2) r s t
(3)