Приведение к абсурду в логике, вид доказательства, т. н. доказательство от противного.