Relación 1: Formalización en lógica proposicional
Formalizar con
APLI2
los argumentos de lógica proposicional.