Так середньовічні логіки називали наступну схему міркування:
Якщо А, то В. Не-В. Отже, не-А.
Ця схема часто називається принципом фальсифікації: якщо з якогось твердження випливає наслідок, опиняється помилковим, це означає, що і саме твердження помилкове. За допомогою схеми від затвердження умовного висловлювання і заперечення його слідства здійснюється перехід до заперечення підстави даного висловлювання. наприклад:
Якщо гелій - метал, він електропроводів.
Гелій - не метал.
МОДУС ПОНЕНДО Толленса
Цим ім'ям середньовічні логіки позначали такі схеми міркування:
Невірно В Неправильно А
Або А, або В. А. Отже, не-В.
Або А, або В. В. Отже, не-А
За допомогою цих схем від затвердження двох взаємовиключних альтернатив і встановлення того, яка з них має місце, здійснюється перехід до заперечення другої альтернативи:
або перше, або друге, але не обидва разом; Тобто перше; значить, немає другого. наприклад:
Достоєвський народився або в Москві, або в Петербурзі.
Він народився в Москві
Невірно, що Достоєвський народився в Петербурзі.
Диз'юнкція, що входить в дану схему, є виключає, вона означає: істинно перше або істинно друге, але обидва разом. Таке ж міркування, але з невиключає диз'юнкція (перше або друге, але можливо, що і перше, і друге), логічно неправильно. Від справжніх посилок воно може вести до помилкового висновку:
На Південному полюсі був Амундсен або був Скотт.
На Південному полюсі був Амундсен.
Невірно, що там був Скотт.
Обидві посилки істинні: і Амундсен, і Скотт досягли Південного полюса, висновок же помилково, Правильним є висновок:
На Південному полюсі першим був Амундсен або Скотт.
На цьому полюсі першим був Амундсен.
Невірно, що там першим був Скотт.