(от лат. exportare -вывозить, importare — ввозить ) — логический закон, говорящий о заменимости в определенных случаях конъюнкции («и») импликацией («если, то»), и наоборот . Его можно передать так: первое и второе влечет третье тогда и только тогда, когда первое влечет, что второе влечет третье. Закон слагается из двух импликаций. Одна из них - закон экспортации (вынесения) - с использованием символики логической представляется так (р, q, r — некоторые высказывания, & -конъюнкция, -> - импликация ): ((p&q)->r)->(p->(q->r)), если (если р и q, то r), то (если р, то (если q, то r)). Напр.: « Если верно , что плоская геометрическая фигура , имеющая четыре рав- ные стороны и четыре равных угла , является квадратом, то, если у плоской фигуры четыре равные стороны, она является квадратом, если у нее четыре равных угла». Вторая импликация, входящая в данный закон, именуется законом импортации (внесения). Символическая ее запись : (p->(q->r))->((p&q)->r), если верно, что (если р, то (если q, то r)), то (если р и q, то r).
Что такое Закон Экспортации - Импортации? Значение Закон Экспортации - Импортации в словаре логики
Закон Экспортации - Импортации - (от лат. exportare -вывозить, importare — ввозить) — логический закон, говорящий о заменимости в определенных случаях конъюнкции («и») импликацией («если, то»), и наоборот. Его можно передать так: первое и второе влечет третье тогда и только тогда, когда первое влечет, что второе влечет третье. Закон слагается из двух импликаций. Одна из них - закон экспортации (вынесения) - с использованием символики логической представляется так (р, q, r — некоторые высказывания, & -конъюнкция, -> - импликация): ((p&q)->r)->(p->(q->r)), если (если р и q, то r), то (если р, то (если q, то r)). Напр.: «Если верно, что плоская геометрическая фигура, имеющая четыре рав- ные стороны и четыре равных угла, является квадратом, то, если у плоской фигуры четыре равные стороны, она является квадратом, если у нее четыре равных угла». Вторая импликация, входящая в данный закон, именуется законом импортации (внесения). Символическая ее запись: (p->(q->r))->((p&q)->r), если верно, что (если р, то (если q, то r)), то (если р и q, то r).
Соседние слова
Что такое Закон Косвенного ДоказательстваЧто значит Закон Логики
Что означает Закон Мышления -
Значение Закон Противоречия
↑ Закон Экспортации - Импортации ↓
Что такое Знак
Что значит Знание
Что означает Значение
Значение Идеализация
Узнайте лексическое, прямое, переносное значение следующих слов:
- Интуиционистская Логика - одна из наиболее важных ветвей логики неклассической, ...
- Интуитивная Логика - интуитивные представления о правильности рассуждений, сложившиеся стихийно ...
- Интерпретация - (от лат. interpretatio разъяснение, истолкование) в ...
- Индукция Популярная - наиболее распространенный вид индуктивного вывода, в котором ...
- Индукция Неполная - индуктивный вывод о том, что всем представителям ...
- Индукция - (от лат. inductio наведение) умозаключение, в ...
- Индуктивное Определение - определение, позволяющее из некоторых исходных объектов теории ...
- Закон Дунса Скота - закон логики классической, характеризующий логическое противоречие и ...
- Закон Де Моргана - общее название логических законов, связывающих с помощью ...
- Закон Гипотетического Силлогизма - закон логики, характеризующий импликацию («если, то»): если ...
- Заблуждение - гносеологическая оценка знания, выражающая его ограниченный характер. ...
- Достаточное Условие - см.: Условное высказывание. ...
- Дополнение К Множеству - такое множество неА, когда A + неА ...
- Доказательство По Случаям - или: Доказательство разбором случаев, — логически правильное рассуждение, ...
- Символика Логическая - система знаков (символов), используемая в логике для ...