Métodos de demostración

Hervás Jorge, Antonio; En este objeto se presentan los métodos de demostración más comunes que se utilizan en Lógica de Enunciados, también llamada Lógica Proposicional. Métodos de demostración http://hdl.handle.net/10251/30748