Закон Экспортации - Импортации
(от лат. Exportare -вывозить, importare — ввозить) — логический закон, говорящий о заменимости в определенных случаях конъюнкции («и») импликацией («если, то»), и наоборот. Его можно передать так. Первое и второе влечет третье тогда и только тогда, когда первое влечет, что второе влечет третье. Закон слагается из двух импликаций. Одна из них - закон экспортации (вынесения) - с использованием символики логической представляется так (р, q, r — некоторые высказывания, &. -конъюнкция, ->. - импликация). ((p&q)->r)->(p->(q->r)), если (если р и q, то r), то (если р, то (если q, то r)). Напр. «Если верно, что плоская геометрическая фигура, имеющая четыре рав- ные стороны и четыре равных угла, является квадратом, то, если у плоской фигуры четыре равные стороны, она является квадратом, если у нее четыре равных угла».
Вторая импликация, входящая в данный закон, именуется законом импортации (внесения). Символическая ее запись. (p->(q->r))->((p&q)->r), если верно, что (если р, то (если q, то r)), то (если р и q, то r)..
Дополнительный поиск Закон Экспортации - Импортации
На нашем сайте Вы найдете значение "Закон Экспортации - Импортации" в словаре Словарь логики, подробное описание, примеры использования, словосочетания с выражением Закон Экспортации - Импортации, различные варианты толкований, скрытый смысл.
Первая буква "З". Общая длина 30 символа