przeprowadzeniu pewnego wnioskowania dedukcyjnego zaplanowanego w określony sposób, a mianowicie wnioskowania, w którym chcemy - jeśli się nam to uda - stwierdzić to właśnie następstwo, które nas interesuje.<br> Szczególną odmianą dowodzenia ze względu na tok prowadzenia dowodu jest dowodzenie nie wprost (dowodzenie apagogiczne). W dowodzeniu takim &lt;page nr= 196&gt; 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