(от лат. commutatio - изменение , перемена) — логический закон , говорящий о возможности перестановки двух последовательных оснований некоторого условного высказывания. Словами: первое влечет, что если второе , то третье , в том и только том случае, когда второе влечет, что если первое, то третье. Напр., утверждение « Если население Земли будет расти нынешними темпами, то, если не будет значительно поднят уровень сельскохозяйственного производства, наступит кризис» равносильно утверждению «Если уровень сельскохозяйственного производства не будет значительно поднят, то в случае роста населения Земли нынешними темпами наступит кризис». С применением символики логической 3. к. записывается таким образом (р, q, r - некоторые высказывания; -> - импликация , «если, то»; = - эквивалентность , «если и только если»): (p -> (q ->r)) = (q -> (p -> r)), р имплицирует, что q имплицирует r, если и только если q имплицирует, что р имплицирует r.
Что такое Закон Коммутации? Значение Закон Коммутации в словаре логики
Закон Коммутации - (от лат. commutatio - изменение, перемена) — логический закон, говорящий о возможности перестановки двух последовательных оснований некоторого условного высказывания. Словами: первое влечет, что если второе, то третье, в том и только том случае, когда второе влечет, что если первое, то третье. Напр., утверждение «Если население Земли будет расти нынешними темпами, то, если не будет значительно поднят уровень сельскохозяйственного производства, наступит кризис» равносильно утверждению «Если уровень сельскохозяйственного производства не будет значительно поднят, то в случае роста населения Земли нынешними темпами наступит кризис». С применением символики логической 3. к. записывается таким образом (р, q, r - некоторые высказывания; -> - импликация, «если, то»; = - эквивалентность, «если и только если»): (p -> (q ->r)) = (q -> (p -> r)), р имплицирует, что q имплицирует r, если и только если q имплицирует, что р имплицирует r.
Узнайте лексическое, прямое, переносное значение следующих слов:
- Индукция Популярная - наиболее распространенный вид индуктивного вывода, в котором ...
- Индукция Неполная - индуктивный вывод о том, что всем представителям ...
- Индукция - (от лат. inductio наведение) умозаключение, в ...
- Индуктивное Определение - определение, позволяющее из некоторых исходных объектов теории ...
- Индивид - (от лат. individuum неделимое) — единичное как ...
- Импликация Материальная - - импликация в трактовке логики классической. Для установления истинности ...
- Иллюстрация - (от лат. illustratio прояснять) факт или ...
- Заблуждение - гносеологическая оценка знания, выражающая его ограниченный характер. ...
- Достаточное Условие - см.: Условное высказывание. ...
- Дополнение К Множеству - такое множество неА, когда A + неА ...
- Доказательство По Случаям - или: Доказательство разбором случаев, — логически правильное рассуждение, ...
- Доказательство Конструктивное - см.: Конструктивная логика. ...
- Дихотомия - (от греч, dicha и tome рассечение на ...
- Дискуссия - (от лат. discussio — рассмотрение, исследование) — обсуждение ...
- Непротиворечивость - свойство предложений некоторой теории (в случае аксиоматической ...