Examen de traducción y demostración, viernes 6

Sólo para recordarles, como dice el encabezado de la entrada, que el viernes hay examen. Se les proporcionará un argumento del cual deberán dar la traducción a lenguaje proposicional, además de la demostrarlo utilizando reglas de inferencia y equivalencia.