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

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

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


  1. закон экспортации импортации—от лат. exportare вывозить importare ввозить логический закон говорящий о заменимости в определенных случаях конъюнкции и импликацией если то и наоборот. Его можно перед...Словарь логики