Relación 1: Formalización en lógica proposicional

Formalizar con APLI2 los argumentos de lógica proposicional.