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