a) Simplificar: (p  q)  p  (q  r)  ( p  r   p )  (q  r)

b) Analice la validez del siguiente razonamiento, demostrando por el método

del condicional asociado o justificando correctamente:

“Los alumnos están en clase de geografía o de historia. Cuando tienen

clase de geografía, usan el mapa grande y se sientan en grupos. No
están sentados en grupos. Por lo tanto, están en clase de historia”.
c) Escribir en lenguaje simbólico el siguiente razonamiento, indicando el
diccionario utilizado. Demostrar con reglas de inferencia en el caso de
ser válido y justificar adecuadamente si es no válido:
“De todos los libros editados en Bs As, algunos libros de historia son de
autor argentino. Todos los libros de historia son ensayos. Por lo tanto
algunos ensayos son de autor argentino”.