dowodzenie

dowodzenie,

log. zespół operacji log. mających na celu skonstruowanie dowodu;

dowodzenie jest rozumowaniem prowadzącym do uznania danego twierdzenia bądź przez dobieranie do niego racji log. dopóty, dopóki nie dojdzie się do racji (twierdzeń) już uznanych (których log. następstwem jest twierdzenie dowodzone), bądź przez bezpośrednie wywnioskowanie go z twierdzeń już dowiedzionych, zgodnie z przyjętymi regułami wnioskowania; błędy w dowodzeniu są błędami logicznymi.