ЗАКОН ЭКСПОРТАЦИИ

– ИМПОРТАЦИИ (от лат. exportare -вывозить, importare – ввозить)

– логический закон, говорящий о заменимости в определенных случаях конъюнкции («и») импликацией («если, то»), и наоборот. Его можно передать так: первое и второе влечет третье тогда и только тогда, когда первое влечет, что второе влечет третье.

Закон слагается из двух импликаций. Одна из них – закон экспортации (вынесения) – с использованием символики логической представляется так (р, q, r – некоторые высказывания, & -конъюнкция, -> – импликация):

((p&q)->r)->(p->(q->r)),

если (если р и q, то r), то (если р, то (если q, то r)). Напр.: «Если верно, что плоская геометрическая фигура, имеющая четыре равные стороны и четыре равных угла, является квадратом, то, если у плоской фигуры четыре равные стороны, она является квадратом, если у нее четыре равных угла».

Вторая импликация, входящая в данный закон, именуется законом импортации (внесения). Символическая ее запись:

(p->(q->r))->((p&q)->r),

если верно, что (если р, то (если q, то r)), то (если р и q, то r).