dowodzenia ze względu na tok prowadzenia dowodu jest dowodzenie nie wprost (dowodzenie apagogiczne). W dowodzeniu takim <page nr= 196> wnioskujemy dedukcyjnie o prawdziwości zdania dowodzonego odwołując się do dokonanego stwierdzenia, że negacja dowodzonego zdania ma fałszywe następstwa. Chcąc tedy udowodnić zdanie q nie wprost, bierzemy pod uwagę jego negację (nie jest tak, że q) i szukamy jej następstw. Jeśli uda się nam znaleźć fałszywe następstwa zdania "nie jest tak, że q", to widocznie zdanie "nie jest tak, że q" jest zdaniem fałszywym, a więc prawdą jest, że nie jest tak, iż nie jest tak, że q, co jest równoważne stwierdzeniu, iż prawdą jest, że