Веб-бібліотека - головна сторінка


Безпека життєдіяльності / За ред. В.Г. Цапка:

Концепція розвитку науки і практики "Безпека життєдіяльності". Сучасні обставини, які формують стан життєдіяльності. Характер змін і стан безпеки життєдіяльності. Теоретичні основи дисципліни "Безпека життєдіяльності". Загальні положення. Базові уявлення дисципліни. Забезпечення безпеки від дії небезпечних та шкідливих факторів. Зміст основних елементів, що формують систему знань дисципліни "Безпека життєдіяльності". Елементи теорії, що становлять зміст предметної сфери дисципліни. Елементи теорії, що становлять логічні категорії безпеки життєдіяльності. Елементи теорії, що становлять закони, принципи, аксіоми і правила. Закони та їх зміст. Основні принципи та їх зміст...

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

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