Другие логические законы

Это рассуждение ведет от истинных посылок к ложному заключению, если речь идет о человеке, болезнь которого протекает без повышения температуры. Против смешения правила фальсификации с этой некорректной схемой рассуждения предостерегает совет: от отрицания следствия условного высказывания можно переходить к отрицанию основания этого высказывания, а от отрицания основания к отрицанию следствия — нельзя.

Утверждающе-отрицающий модус — логический закон, позволяющий из посылок «Либо А, либо В» и «А» вывести заключение «Неверно В».

Другая форма записи:

Либо А, либо В; А.
—————————
Неверно В.

Посредством данной схемы рассуждения от утверждения двух взаимоисключающих альтернатив и установления того, какая из них имеет место, осуществляется переход к отрицанию второй альтернативы. Например: «Либо Южный полюс открыл Амундсен, либо этот полюс открыл Скотт. Южный полюс открыл Амундсен. Следовательно, неверно, что Южный полюс был открыт Скоттом».

Отрицающе-утверждающий модус — логический закон, позволяющий от посылок «А или В» и «Неверно А» перейти к заключению «В».

Другая форма записи:
А или В; неверно А.
——————————
В.

Например:

Данную кражу совершил Иванов, или ее совершил Петров.
Иванов не совершал кражи.
—————————————————————————————
Кражу совершил Петров.

Закон двойного отрицания — логический закон, позволяющий вводить или снимать двойное отрицание исходного высказывания.

А.
—————————
Неверно, что не-А.

Неверно, что не-А.
—————————
А.