Dowodzenie jest to jedna z najbardziej podstawowych odmian
rozumowania obok
wnioskowania,
sprawdzania i
wyjaśniania.
Kazimierz Ajdukiewicz definiuje dowodzenie jako "proces myślowy polegający na rozwiązywaniu zadania, które domaga się, by pewne zdanie całkowicie dane w samym zadaniu wywnioskować ze zdań innych, już uprzednio uznanych'". Inaczej mówiąc dowodzenie jest to zadanie zawarte w zdaniu rozkazującym o postaci : „wykaż, że a jest b!”. Rozwiązanie tego zadania wymaga m.in. inferencji (
wnioskowania), która jest składową dowodzenia. Jednym słowem dowodzeniem nazwiemy zabieg konstruowania danego dowodu.