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. https://riunet.upv.es/handle/10251/30744