Словари

Главная / Словарь логики / З / Закон Экспортации - Импортации

Что такое Закон Экспортации - Импортации? Значение и толкование слова zakon eksportatsii--importatsii, определение термина

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

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Знак -  - материальный предмет, воспроизводящий свойства, отношения некоторого другого предмета....
Знание -  — результат процесса познания действительности, получивший подтверждение в практике; адекватное...
Значение -  — содержание, связываемое с тем или иным языко­вым выражением. Вопрос о 3. языковых выражений...