a contrario

loc. latina [(partendo) dal contrario]. In logica indica un procedimento che, muovendo da un'opposizione nelle ipotesi, giunge a dimostrare un'opposizione nelle conseguenze.