Утверждающе-отрицающий модус (modus ponendo tollens) — один из видов разделительно-категорического умозаключения. studizba.com sdo.ivanovo.ac.ru В нём меньшая посылка утверждает один член дизъюнкции, а заключение отрицает другой её член. studizba.com
Некоторые особенности применения утверждающе-отрицающего модуса:
- Достоверное заключение возможно только при соблюдении правила: большая посылка должна быть исключающе-разделительным суждением, или суждением строгой дизъюнкции. studizba.com Если это правило не соблюдается, достоверного заключения получить нельзя. studizba.com
- Пример: «Сегодня среда или четверг. Сегодня среда. Следовательно, сегодня не четверг». sdo.ivanovo.ac.ru
- Применение: утверждающе-отрицающий модус может использоваться, например, в судебно-следственной практике при построении и проверке следственных версий. studizba.com