ЗАКОН ЭКСПОРТАЦИИ - ИМПОРТАЦИИ (от лат. exportare -вывозить, importare - ввозить)ЗАКОН ЭКСПОРТАЦИИ - ИМПОРТАЦИИ (от лат. exportare -вывозить, importare - ввозить) - логический закон, говорящий о заменимости в определенных случаях конъюнкции ("и") импликацией ("если, то"), и наоборот. Его можно передать так: первое и второе влечет третье тогда и только тогда, когда первое влечет, что второе влечет третье. ((p&q)->r)->(p->(q->r)), если (если р и q, то r), то (если р, то (если q, то r)). Напр.: "Если верно, что плоская геометрическая фигура, имеющая четыре равные стороны и четыре равных угла, является квадратом, то, если у плоской фигуры четыре равные стороны, она является квадратом, если у нее четыре равных угла". (p->(q->r))->((p&q)->r), если верно, что (если р, то (если q, то r)), то (если р и q, то r). |
Все права на материалы сайта принадлежат их законным владельцам. Копирование части информации с сайта разрешено только с согласия администрации. Предложения и пожелания Вы можете отправить на странице "Обратная связь".