jest tak, że q, co jest równoważne stwierdzeniu, iż prawdą jest, że q. Opieramy się w tym przypadku na modus tollendo tollens oraz na zasadzie podwójnego przeczenia (por. rozdz. VII 2). Chcąc udowodnić, że kupiona na targu gęsta śmietana nie jest fałszowana mąką, zakładam, że jest fałszowana mąką. Jeśli byłaby fałszowana mąką,to po zmieszaniu kropli śmietany z kroplą jodyny wystąpiłoby zabarwienie granatowe. A że po próbie zabarwienie takie nie wystąpiło, więc w badanej śmietanie nie ma domieszki mąki. Skoro następstwo negacji dowodzonej tezy okazało się fałszywe, to dowodzona teza jest prawdziwa.<br> &lt;tit&gt; Dowodzenie&lt;/&gt;<br>&lt;gap&gt;<br> Dowodząc możemy popełnić błąd materialny, a także, skoro