Propedéutico de lógica
Ejercicios para practicar formalización en lógica cuantificacional con relaciones
No son obligatorios ni se califican

1.	Si todos tenemos amigos tú debes de tener alguno. 
2.	Si Mamerto se graduó como filósofo, entonces cualquiera que lo desee puede hacerlo.
3.	Si Juan o Marta viaja a España, le pediré que me traiga un souvenir y fotos de la Torre Eiffel.
4.	Si Caín y Abel eran hermanos, entonces cualquiera puede ser hermano de cualquiera.
5.	Si los pingüinos son aves, entonces vuelan o tienen amigos que lo hacen.
6.	Si los polos se derriten entonces el nivel del agua crecerá, las ciudades se inundarán y todos moriremos.
7.	Si los polos se encontraran, entonces los osos se comerían a los pingüinos.
8.	Sólo cuando no se pueda hacer nada todos nos daremos cuenta de lo que está ocurriendo.
9.	Si existiera algún presidente justo se podría hacer una reforma de la ley fiscal.
10.	Si Dios es el padre de todos, entonces es el padre de María, del hijo de María e incluso de sí mismo.