reducción al absurdo
regla de inferencia