Practicando los elementos básicos del lenguaje formal de la Lógica

En la esta página: http://www.ing.unp.edu.ar/asignaturas/elymd/e11.htm una profesora de ingeniería propone a sus alumnos algunas actividades relacionadas con los elementos básicos del lenguaje de la lógica formal.

¿Te atreves a hacer algunos de estos ejercicios de formalización? No son demasiado difíciles y en la misma página tienes la solución.

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?