Pot pertànyer a una de les dues classes següents: demostració per l’absurd, que prova la veritat posant de manifest la falsedat de la contradictòria, i reducció a l’absurd, que prova la falsedat d’una proposició per reducció a una conseqüència coneguda com a falsa o contrària a la hipòtesi de partida.
f
Lògica