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 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