„Indirekt bizonyítás” változatai közötti eltérés
[nem ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
|||
1. sor:
{{lektor}} A [[matematika|matematikában]] és a [[logika|logikában]] indirekt bizonyításnak nevezzük azt a fajta bizonyítást, amelyben feltesszük a bizonyítani kívánt állítás tagadását, majd ebből szabályos logikai lépések útján ellentmondásra jutunk valamilyen ismert ténnyel. Ez a bizonyítástípus alkalmazása az általánosabb ''[[reductio ad absurdum]]'' gondolatmenetnek.
== Formális leírása ==
|