ad absurdum statement

[ریاضیات] قیاس خلف، برهان خلف، گزاره ی خلف