Якщо A, то В; невірно В.
Тут A і В - деякі висловлювання; "Якщо А, то В" і "невірно, що В" ( «не-В") - посилки; "Невірно, що A" ( «не-A") - висновків-ня; горизонтальна риса варто замість слова "отже". Інша запис:
Якщо А, то В. Ні-В. Отже, не-А.
За допомогою цієї схеми від затвердження умовного висловлювання і заперечення його слідства (консеквента) здійснюється перехід до заперечення підстави (антецедента) даного висловлювання. Напр.: Якщо гелій - метал, він електропроводів.
Гелій - не метал.
Дивитися що таке "модус толленс" в інших словниках:
модус - (лат. modus міра, спосіб, образ, вид) філософський термін, що позначає властивість предмета, властиве йому тільки в деяких станах і залежне від оточення предмета і тих зв'язків, в яких він знаходиться. М. протиставляється атрибуту ... ... Словник термінів логіки
модус понендо толленс - (лат. modus ponendo tollens) термін середньовічної логіки, що позначає наступні схеми міркування: Або A, або В; А. і Або A, або В; В. Невірно В. Невірно A. Тут A і В деякі висловлювання; або A, або В і A посилки; невірно, що B (Не рахую ... ... Словник термінів логіки
умовний умовивід - умовивід, що включає посилки, що представляють собою умовні судження (див. Умовне висловлювання). У. у. може складатися лише з однієї умовної посил ки, може включати крім умовної та інші посилки, які не є умовними, а також може ... ... Словник термінів логіки
фальсифікація - (від лат. falsus помилковий, facio роблю) процедура, що встановлює хибність теорії або гіпотези в результаті емпіричної перевірки. Поняття Ф. є фундаментальним в методологічної концепції К. Поппера, який обгрунтував важливість цієї ... ... Словник термінів логіки
Диз'юнктивний силогізм - см. Модус понендо толленс. Модус толлендо поненс ... Словник термінів логіки
диз'юнктивний силогізм, - см. Модус понендо толленс. Модус толлендо поненс ... Словник термінів логіки