[Lat.], herleiding tot het ongerijmde, d.w.z. het aantonen dat een stelling tot tegenspraak leidt en derhalve onwaar moet zijn. Deze reductie wordt toegepast bij het wiskundige bewijs uit het ongerijmde.
Inloggen
Log hier in om direct te kunnen beginnen met schrijven.
