Ou ainda: per contradictoriam propositionem. Redução da tese adversária ao absurdo por meio da demonstração da contradição que ela implica. Assume a forma dos silogismos Baroco e Bocardo (Jungius, Lógica, III, 14; cf. Aristóteles, An. pr., I, 5, 27 a 36 ss.). [Abbagnano]