Practicando las interpretaciones semánticas de proposiciones matemáticas

En la esta página: http://www.ing.unp.edu.ar/asignaturas/elymd/e12.htm una profesora de ingeniería propone a sus alumnos algunas actividades relacionadas con las interpretaciones semánticas de proposiciones matemáticas en su mayoría.

¿Te atreves a hacer algunos de estos ejercicios de interpretación semántica? Anímate, porque si has entendido bien esta parte de Aprende Lógica podrás hacer bien muchos de ellos (otros emplean conectivas que no hemos estudiado, por ser menos relevantes en las aplicaciones de la Lógica al lenguaje natural que a la ingeniería). 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?