Ductio per contradictoriam propositionem sive per impossible
Ductio per contradictoriam propositionem sive per impossible
(Lat.) A logical argument in which the truth of a proposition is established by showing that its contradictory is untrue or impossible; an application of the principle of excluded middle. — V.J.B.