TALLER REGLAS DE INFERENCIA

NOMBRES: Cesly Ariza Fuenmayor, Estefanía Idarraga Clavijo, Maira Gerardino Urueta y Carolina
Osorio Narváez.

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? Se sugiere simbolizar. En cada punto termina
una premisa.

A. Si usted está en Boyacá, entonces su reloj señala la misma hora que en Barrancabermeja. Usted
está en Boyacá.

P= Esta en Boyacá

Q= Su reloj señala la misma hora que en Barrancabermeja.

P -> Q

P______

Conclusión: Su reloj señala la misma hora que en Barrancabermeja.

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

~P= No nos despedimos ahora

~Q= No cumplimos nuestro plan

¬P→¬Q

¬ P______

¬Q

Conclusión: No cumplimos nuestro plan.

C. Si llovió la pasada noche, entonces las pistas se han limpiado. Las pistas no se han limpiado.

P= Llovió la pasada noche

Q= Las pistas se han limpiado

P→Q

¬ Q____

¬P

Conclusión: No llovió la pasada noche.

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

P= El puerto de Nueva Orleans está en el golfo de Méjico.

Q= está en el océano Atlántico.

PVQ

¬ Q___

Conclusión: está en el golfo de Méjico.

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 ʌ q) → ¬ (r v s) 2. (1) ¬p→ ¬r 3. (1) (p v ¬s) → (q ʌ r)

(2) p ʌ q (2) ¬p (2) p v ¬s

(3) ¬ (r ʌ s) (3) ¬ r (3) q ʌ 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 → ¬ (p v q) 2. (1) ¬ p → q ʌ ¬s 3. (1) p v q → r

(2) (p v q) (2) ¬ (q ʌ ¬s) (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)