uprzednio zostało przez nas uznane za prawdziwe. Mamy więc podstawę, by uznać prawdziwość zdania q, na tej podstawie - zdania r, co wystarczy do uznania za prawdziwe zdania s, jako wynikającego ostatecznie ze stwierdzonego zdania p.<br> Dowodzenie polega w końcowej swej fazie na 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