закон экспортации - импортации

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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.

Просмотров: 958
Категория: Словари и энциклопедии » Философия » Словарь логики

Другие новости по теме:

ТРОН Некоторые астрологи, более склонные к преувеличению, чем к точному соответствию и ясности, говорят о планете на троне, если она находится в знаке, которым управляет. В более древнем и более логичном варианте это планета, расположенная в той част

Фрейм как если бы

ЧЕТЫРЕ БЛАГОРОДНЫЕ ИСТИНЫ

закон экспортации - импортации
---

Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

Код для вставки на сайт или в блог:
Код для вставки в форум (BBCode):
Прямая ссылка на эту публикацию: