Hola Germán, Lógica II, no estoy contenta. Al empezar el examen leí las palabras que lógicamente más detesto "reducción al absurdo", ¿reducción al absurdo?. Una deducción natural es extremadamente bella e intuitiva, ¿por que ponerle el corsé de la reducción al absurdo? Por qué echarle el lazo cuando puede galopar libre a su aire, vale, no he trabajado mucho la reducción al absurdo, era esclerótica, me gustaba más de otra forma. En fin, pude resolverla volando sin bridas pero eso no valía, así que pasé la última media hora trepando y descendiendo una montaña de letras, variables, cuantificadores y conectores buscando una contradicción que se me resistía. Al final entre tachones y muchas dudas creí encontrarla o hice trampa para alcanzarla, creo que si Amparo hubiera estado ayer en el examen me habría clavado la mano a la mesa con su rotulador rojo

El resto de preguntas las fui resolviendo, no se si con acierto, veremos.