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.