Modus tollens (укр. спосіб, що заперечує) — це формальна назва для доведення від супротивного. Вживається також скорочення MT.
Modus tollens є простою, часто вживаною формою аргументації:
Використовуючи логіко-операторну нотацію:
де є логічним твердженням.
Або, у теоретико-множинній формі:
( є підмножиною . не належить . Отже, не належить ).
Аргумент має два посилання. Перше посилання це умовне твердження «якщо — то», а саме, що із P випливає Q. Другим посиланням є те, що Q є хибою. З цих двох посилань випливає, що P є хибою. (Якщо P істинне, то Q також істинне з першого посилання, але це суперечить другому посиланню). Важливо зауважити, що в правдивому судженні, якщо посилання істинні, то висновок обов'язково випливає.
Див. також Редагувати
Джерела Редагувати
- Умовиводи логіки висловлювань в традиційній логіці [ 5 березня 2016 у Wayback Machine.]
| Це незавершена стаття з логіки. Ви можете допомогти проєкту, виправивши або дописавши її. |