Закон Логики

(от лат. Compositio — сочинение, состав­ление) - общее название ряда логических законов, позволяющих объединять следствия определенных условных высказываний или разделять их основание. Один из этих законов можно выразить так. Если верно, что если первое, то второе, и если первое, то третье, то верно, что если первое, то второе и третье. Напр. «Если верно, что стороны квадрата рав-  . Ны, и верно, что его диагонали равны, то у квадрата равны как его стороны, так и его диагонали». Символически..

- логический закон, позволяющий делать заключения об истинности какого-то выска­зывания на основании того, что отрицание этого высказывания влечет противоречие. Напр. «Если из того, что 11 не является простым числом, вытекает то, что оно делится на число, отлич­ное от самого себя и единицы, и то, что оно не делится на такое число, то 11 есть простое число». С использованием символики логической (p, q — некоторые выска­зывания. ->. — импликация, «если, то». &. — конъюнкция, «и». ~ — отрицани..

Термин традиционной логики, обозна­чавший требование к логически совершенному мышлению, имею-  . Щее формальный характер, т. Е. Не зависящее от конкретного со­держания мыслей. 3. М. Назывались также законами логики или (формально-) логическими законами. Из множества З.м. Выделя­лись т. Наз. Основные З.м. (логики), связанные, как считалось, с наиболее существенными свойствами мышления - такими, как определенность, непротиворечивость, последовательность, обо­снованность. Основные 3. М. Рассмат..

См. Непротиворечия закон.. ..