dowód pośredni 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
Definicja
forma dowodu logicznego, w którym z założenia o nieprawdziwości tezy wyprowadza się sprzeczność ze zdaniem prawdziwym.
Synonimy
- dowód nie wprost 1
forma dowodu logicznego, w którym z założenia o nieprawdziwości tezy wyprowadza się sprzeczność ze zdaniem prawdziwym.
- dowód apagogiczny 1
forma dowodu logicznego, w którym z założenia o nieprawdziwości tezy wyprowadza się sprzeczność ze zdaniem prawdziwym.


