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

 Alicia estudia matemáticas. Por tanto, Alicia estudia o bien

matemáticas o bien ingeniería.

p______ la regla de inferencia es Adición

∴pvq
 Henry estudia matemáticas e ingeniería. Por tanto, Henry
estudia matemáticas.
P ∧ q__ la regla de inferencia es Simplificación
∴p

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

cerrada.
P→q
¬q___ la regla de inferencia es Modus Ponendo Ponens
∴q

 Si nieva hoy, se cerrará la universidad. La universidad no

está cerrada hoy. Por tanto, no nieva hoy.
P→q
¬q___ la regla de inferencia es Modus Tollendo Tollens
∴ ¬p

 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é.
P→q
q → r__ La regla de inferencia es Silogismo Hipotético
∴p→r

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

p:= El reloj está adelantado

q:= Juan llegó 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

[ { p → ( q ∧r ) } ∧ { s →¬ r } ∧ {( s ∨t ) ∧ p }] →t
1- p→ ( q ∧ r )
2- s →¬ r
3- s ∨t
4- p
Aplicamos Modus Ponendo Ponens en punto 1 y 4 nos queda q ∧r
5- q ∧r
Aplicamos regla de inferencia simplificación punto 5 queda r
6- r
Aplicamos la doble negación en 6 queda ¬ ( ¬ r )
7- ¬ ( ¬ r )
Aplicamos Modus Tollendo Tollens en punto 2 y 7 queda ¬ s
8- ¬ s
Aplicamos Modus tollendo ponens en el punto 3 y 8 queda t
9- t se demuestra la conclusión en las secuencias lógicas

[ { p → ( q ∧r ) } ∧ { s →¬ r } ∧ {( s ∨t ) ∧ p }] →t es la misma punto 9 t