Deci logica medievală a numit următoarea schemă de raționament:
Dacă A, apoi B. He-B. În consecință, nu-A.
Această schemă este adesea numită principiul falsificării: dacă dintr-o declarație urmează o consecință care se dovedește a fi falsă, aceasta înseamnă că afirmația însăși este falsă. Prin intermediul schemei, din afirmația afirmației condiționale și negarea efectului ei, se efectuează o tranziție spre negarea bazei acestei declarații. De exemplu:
Dacă heliul este un metal, el este conductiv electric.
Heliul nu este un metal.
MODUS PONENDO TOLLENS
Prin acest nume, logica medievală a denotat următoarele scheme de raționament:
Invalid In False A
Fie A sau VA A. În consecință, non-B.
Fie A, fie B. V. Prin urmare, non-A
Prin intermediul acestor scheme, de la aprobarea a două alternative care se exclud reciproc și de a determina care dintre ele au loc, trecerea la negarea celei de-a doua alternative se realizează:
fie primul, fie al doilea, dar nu ambele; există primul; atunci nu există secundă. De exemplu:
Dostoievski sa născut fie la Moscova, fie la Petersburg.
Sa născut la Moscova
Nu este adevărat că Dostoievski sa născut în Petersburg.
Disjuncția inclusă în această schemă este exclusivă, înseamnă: adevărată prima sau adevărată secundă, dar nu ambele. Același raționament, dar cu disjuncție neexclusivă (prima sau a doua, dar este posibil ca prima și a doua) să fie logic greșite. Din premisele reale, aceasta poate duce la o concluzie falsă:
La Polul Sud era Amundsen sau a fost Scott.
La Polul Sud era Amundsen.
Nu e adevărat că a fost Scott.
Ambele premise sunt adevărate: atât Amundsen, cât și Scott au ajuns la Polul Sud, concluzia este falsă, concluzia corectă este:
La Polul Sud, Amundsen sau Scott a fost primul.
La acest pol Amundsen a fost primul.
Nu e drept că Scott a fost acolo mai întâi.