Demostración por contradicción aplicando tablas de verdad

En este objeto se presenta una adaptación del método de demostración por contradicción o reducción al absurdo para logica de enunciados o lógica proposicional, que se desarrolla utilizando una tabla de verdad. Hervás Jorge, A. (2013). Demostración por contradicción aplicando tablas de verdad. http://hdl.handle.net/10251/30744