Закон мышления, или логический закон - это необходимая существенная связь мыслей в процессе рассуждения. Традиционная логика выделяет четыре основных закона, или принципа: тождества (всякая мысль в процессе рассуждения должна быть тождественной самой себе: р — > р), непротиворечия (два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно: \(р л \р), исключенного третьего (два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: (р л 1 р), достаточного основания (всякая мысль признается истинной, если она имеет достаточное основание) (см. учебник, гл. I, § 3).
При решении задач упражнения 4 и 5 следует помнить, что закон непротиворечия действует в отношении всех несовместимых суждений - и противоположных (контрарных), и противоречащих (контрадикторных), а закон исключенного третьего - только в отношении последних.
О логических отношениях между суждениями см. учебник, гл. IV, §4.