DOCENTE: DANILO ACUÑA

GRUPO: K
ESTUDIANTES: MARIA CAMILA CONSUEGRA
GISELL PEÑA
MARIA LUISA REDONDO
WILLMAN DIAZ CORTES

TALLER REGLAS DE INFERENCIA

I. ¿Qué conclusión se puede sacar de cada uno de los siguientes conjuntos de premisas? Es decir,
¿qué proposición lógica se sigue de las premisas?

1. Si usted está en Madrid, entonces su reloj señala la misma hora que en Barcelona. Usted está en
Madrid.

Conclusión: _Su reloj señala la misma hora que en Barcelona.(P.P).

2. Si no nos despedimos ahora, entonces no cumpliremos nuestro plan. No nos despedimos ahora.

Conclusión: _No cumpliremos nuestro plan. (P.P).

3. 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.

Conclusión: _No vivo en ninguno de los cincuenta estados. (P.P).

4. Si llovió la pasada noche, entonces las pistas se han limpiado. Las pistas no se han limpiado.
Conclusión: _No llovió la pasada noche. (T.T)

5. Este hombre es un abogado o es un político. No es un abogado.

Conclusión:_ Por lo tanto este hombre es un político. (T.P).

6. El puerto de Nueva Orleans está en el golfo de México o está en el océano Atlántico. No está en
el océano Atlántico.

Conclusión_ Por lo tanto, esta en el Golfo de México. (T.P).

7. Hace frío y llueve o el festival se celebrará al aire libre. Ni hace frío ni llueve.

Conclusión:__El festival se celebrara al aire libre. (T.P)

II. Utilizando modus ponendo ponens sacar una conclusión de cada uno de los conjuntos de
premisas siguientes. Escriba la conclusión en la línea 3.

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

(2) p v q (2) ∼p (2) p

(3) r (3) ∼r (3) q v r

III. Deducir una conclusión de cada uno de los conjuntos de premisas siguientes, aplicando la regla
del modus tollendo tollens.

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

(2) ∼ r (2) ∼ q (2) ∼ r

(3) ∼ q (3) p (3) ∼(p v q)

IV. Deducir una conclusión de cada uno de los conjuntos de premisas siguientes, aplicando la
regla del modus tollendo ponens.

1. (1) ∼ q v r 2. (1) ∼ t v ∼ r 3. (1) t v (p → q)

(2) ∼ r (2) ∼∼ r (2) ∼ t

(3) ∼ q (3) ∼ t (3) (p → q)

V. ¿Qué conclusión se puede sacar, si se puede sacar alguna, por la ley del silogismo hipotético de
los conjuntos de proposiciones siguientes?

1. Si un haz fino de fotones penetra en un gas en una cámara de niebla, entonces los fotones
expulsan electrones de los átomos del gas. Si los fotones expulsan electrones de átomos de gas,
entonces la energía de la luz se convierte en energía cinética de los electrones.

Luego,_Si un haz fino de fotones penetra en un gas en una cámara de niebla, la energía de luz se
convierte en energía cinetica de los electrones.

2. Si los hombres son caballeros, entonces son respetuosos. Si son respetuosos, entonces tratan
bien a las damas. Luego,_Si los hombres son caballeros, tratan bien a las damas.

3. Si mi Miguel está en casa, entonces no hace nada. Si no hace nada, entonces no trabaja.
Luego,_Si Miguel está en casa, no trabaja.

VI. Utilizar la ley del silogismo hipotético (SH) en una demostración formal para obtener una
conclusión de los siguientes conjuntos de premisas.

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

(2) ∼p → r (2) r v q → ∼p (2) r Ʌ∼s → t

(3) q → r S.H 1,2 (3) s v t → ∼p S.H 1,2 (3) p → t S.H

1,2