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