Закон Косвенного Доказательства

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

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

См. Логический закон.. ..

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