dowód pośredni 1
noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishDefinition
forma dowodu logicznego, w którym z założenia o nieprawdziwości tezy wyprowadza się sprzeczność ze zdaniem prawdziwym.
Synonyms
- 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.
