- Закон контрапозиции
-
См. также: Modus tollens
Зако́н контрапози́ции — закон классической логики, утверждающий, что в том случае, если некая посылка A влечёт некое следствие B, то отрицание этого следствия (то есть «не B») влечёт отрицание этой посылки (то есть «не A»).
Как и всякое общезначимое импликативное утверждение, может служить также и правилом вывода.
См. также
Для улучшения этой статьи желательно?: - Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.
- Дополнить статью (статья слишком короткая либо содержит лишь словарное определение).
- Викифицировать статью.
Категория:- Законы логики
Wikimedia Foundation. 2010.