Practicando el cálculo deductivo

En la esta página: http://www.ing.unp.edu.ar/asignaturas/elymd/e13.htm una profesora de ingeniería propone a sus alumnos algunas actividades relacionadas con el cálculo deductivo.

¿Te atreves a hacer algunos de estos ejercicios de cálculo deductivo? Anímate, porque si has entendido bien esta parte de Aprende Lógica podrás hacer bien muchos de ellos. Para resolverlos hay que aplicar algunas de las reglas de inferencia que hemos estudiado en Aprende Lógica. Además, vienen las soluciones en la misma página.

Fíjate como la Lógica es igualmente útil para los ingenieros que han de aprender un lenguaje de programación, como para los filósofos que buscan diseccionar los argumentos que emplean en su actividad profesional como ¿para las personas corrientes que buscan hacer un uso más preciso del lenguaje natural?