Сформулируйте закон контрапозиции и приведите примеры его применения

В классической логике данный закон утверждает, что в случае, если некоторое утверждение А влечет за собой следствие В, то отрицание этого следствия (не В) влечет отрицание этого следствия (не А).
Например:
Утверждение А – сегодня воскресение
Утверждение В – завтра понедельник
Высказывание А→В – если сегодня воскресение, то, завтра понедельник
Высказывание ¬В→¬А – если завтра не понедельник, то, сегодня не воскресение