Поиск:
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я


Статьи

Словари:

Архитектурный словарь
Бизнес словарь
Биографический словарь
Исторический словарь
Медицинский словарь
Морской словарь
Политический словарь
Психологический словарь
Религиозный словарь
Сексологический словарь
Словарь воровского жаргона
Словарь имён
Словарь компьютерного жаргона
Словарь логики
Словарь мер и весов
Словарь нумизмата
Словарь Русских фамилий
Словарь символов
Словарь синонимов
Социологический словарь
Строительный словарь
Философский словарь
Финансовый словарь
Экономический словарь
Этнографический словарь
Юридический словарь



Словарь логики

Закон Экспортации - Импортации:



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

Закон Клавия
Закон Коммутации
Закон Коммутативности
Закон Композиции
Закон Косвенного Доказательства
Закон Логики
Закон Мышления -
Закон Противоречия
Значение
Знак