Tarea 1: Aplicación de las reglas de inferencia

D. Simplificación Disyuntiva, Absorción y Ley de Morgan

Simplificación disyuntiva:

Permite pasar de dos premisas a la conclusión, esta regla se aplica siempre que se dé una
proposición condicional y se dé precisamente el consecuente. La misma regla se aplica tanto
si el antecedente y consecuente es una proposición atómica como molecular.

P →Q (1) P V M → T & Q
P (2) P V M
---------- _____________________
.: Q .: (3) T & Q

Ejemplo:

En la escuela Juan tuvo 10 de promedio en matemáticas o 10 de promedio en física, si Juan

tuvo 10 de promedio en matemáticas entonces se ganará un viaje y si Juan tuvo 10 de
promedio en física entonces se ganará un viaje, lo anterior es suficiente para que Juan se
ganará un viaje.

P: Juan tiene 10 de promedio en matemáticas

Q: Juan tiene 10 de promedio en física

R: Juan se gana un viaje

Premisa 1: Juan tiene promedio de 10 en matemáticas o física

Premisa 2: Si tiene promedio de 10 en matemáticas ganará un viaje

Premisa 3: Si tiene promedio de 10 en física ganará un viaje

Conclusión: Ganará un viaje

[(pvq)Ʌ(p➙r)Ʌ(q➙r)])➙r