Lógica proposicional. Deducciones: MODUS TOLLENS, Eliminación e Introducción DISYUNCIÓN.

Manuel Calvo (El Logos Feroz)