zespół operacji logicznych mających na celu przeprowadzenie dowodu; rozumowanie prowadzące do uznania prawdziwości danego zdania na podstawie innych zdań uznanych za prawdziwe; rozróżnia się d. nie wprost i d. wprost; pierwszy typ d. dokonuje się poprzez dobieranie do danego twierdzenia szeregu racji logicznych, dopóki nie dojdzie się do racji już uznanych za prawdziwe, których logicznym następstwem będzie dowodzone twierdzenie; drugi typ d., że dane twierdzenie jest prawdziwe, polega na bezpośrednim wywnioskowaniu go z twierdzeń już wcześniej uznanych za prawdziwe, zgodnie z przyjętymi regułami wnioskowania; błędy w dowodzeniu są błędami logicznymi.
AD ABSURDUM, DOWÓD, PETITIO PRINCIPII, PRAWA LOGICZNE
- DOWODZENIE, SYNONIM: dowód, argumentacja,...
- program dowodzenia twierdzen, (theorem prove r)
- DOWODZIĆ, SYNONIM: argumentować,...