4. Qué reglas de inferencia se utilizan en las siguientes deducciones?

 Si llueve, se cierra la piscina. Llueve; por tanto, está cerrada.

R: / p = si llueve,
q = se cierra la piscina
Por conclusión si llueve se cierra

Se sustituyen las proposiciones por letras.

Si llueve, se cierra la piscina: 𝑝 → 𝑞
Si llueve: 𝑝
Por tanto está cerrada: ∴ 𝑞
𝑝→𝑞
𝑝 Son premisas

∴ 𝑞 = es la conclusión

𝑝→𝑞
𝑝
La regla de inferencia que se utiliza es el Modus ponens (afirmando afirmo)
∴𝑞
Entonces se está afirmando lo primero y por tanto también lo último.

 Si nieva hoy, se cerrará la universidad. La universidad no está cerrada hoy. Por tanto, no
nieva hoy.
La regla de inferencia que se utiliza es el Modus tollens (Negando niego)

R: / p = si nieva hoy,
q = se cerrara la universidad
En conclusión si nieva hoy, se cierra la universidad.

Se sustituyen las proposiciones por letras.

Si nieva se cierra la universidad: 𝑝 → 𝑞
La universidad no está cerrada hoy: ¬𝑞
Por tanto, no nieva hoy: ∴ ¬𝑝
𝑝→𝑞
¬𝑞 Son premisas

∴ ¬𝑞 = es la conclusión
𝑝→𝑞
¬𝑞
∴¬𝑝
 Si voy a nadar, entonces estaré al sol demasiado tiempo. Si estoy al sol demasiado tiempo,
me quemaré. Por tanto, si voy a nadar me quemaré.

La regla de inferencia que se utiliza es Silogismo hipotético (proposición condicional)

R: / p = si voy a nadar,
q = entonces estaré al sol demasiado tiempo.
En conclusión si voy a nadar, entonces estaré al sol demasiado tiempo

Se sustituyen las proposiciones por letras.

Si voy a nadar, entonces estaré al sol demasiado tiempo: 𝑝 → 𝑞
Si estoy al sol demasiado tiempo me quemaré: 𝑞 → 𝑟
Por tanto, si voy a nadar me quemaré: ∴ 𝑝 → 𝑟
𝑝→𝑞
𝑞→𝑟 Son premisas

∴ 𝑝 → 𝑟 = es la conclusión

𝑝→𝑞
𝑞→𝑟
∴𝑝→𝑟

5. Demuestre que la conclusión es consecuencia lógica de las premisas dadas.

Si el reloj está adelantado, entonces Juan llegó antes de la diez y vio partir el coche de
Andrés. Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés. O Andrés
dice la verdad o estaba en el edificio en el momento del crimen. El reloj está adelantado.
Por lo tanto, Andrés estaba en el edificio en el momento del crimen.
P = el reloj esta adelantado

q = juan llego antes de las diez

r = juan vio partir el coche de Andrés

s = Andrés dice la verdad

t = Andrés estaba en el edificio en el momento del crimen

Representamos así
[{𝑝 → (𝑞 ∧ 𝑟)} ∧ {𝑠 → ¬ 𝑟} ∧ {(𝑠 ∨ 𝑡) ∧ 𝑝}] → 𝑡

De donde

1 = 𝑝 → (𝑞 ∧ 𝑟 ) Si el reloj está adelantado, entonces Juan llegó antes de la diez y vio partir el
coche de Andrés.

2 = 𝑠 → ¬ 𝑟 Si Andrés dice la verdad, entonces Juan no vio partir el coche de Andrés

3 = 𝑠 ∨ 𝑡 O Andrés dice la verdad o estaba en el edificio en el momento del crimen.

4= 𝑝 el reloj está adelantado

Al Demostrar podemos aplicar las inferencias a las deducciones así.

En los puntos 1 y 4 podemos aplicar el modus ponens, quedando 𝑞 ∧ 𝑟

5- 𝑞 ∧ 𝑟

En el punto 5 podemos aplicar la regla de inferencia simplificación quedando r

6- r

En el punto 6 podemos aplicar el modus tollens quedando ¬(¬𝑟)

7- ¬(¬𝑟)

En el punto 2 y 7 podemos aplicar Modus Tollens quedando ¬ 𝑠

8- ¬ 𝑠

En el punto 3 y 8 aplicamos Modus ponens quedando t

9- t se demuestra la conclusión en las secuencias lógicas