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

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

Идемпотентности Закон

- (от лат. idempotens - сохраняющий ту же степень) - логический закон, позволяющий исключить повторение одного и того же высказывания. Его формулировка: повторение высказывания через «и» и «или» равносильно само­му высказыванию. Напр., «Марс - планета и Марс - планета» есть то же самое, что «Марс - планета»; «Солнце — звезда или Солнце — звезда» то же самое, что «Солнце — звезда». С применением символики логической (р — некоторое высказывание; & - конъюнкция, «и»; v - дизъюнкция, «или»; = () - экви­ валентность, «если и только если») закон записывается так: (р&р) = (pvp) = р, р и р, если и только если р, и р или р, если и только если р.

Контрапозиции Закон

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

ДРУГИЕ СЛОВА:

Закон Клавия

Закон Коммутативности

Закон Коммутации

Закон Композиции

Закон Косвенного Доказательства

Закон Логики

Закон Мышления -

Закон Противоречия

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

Знак

Знание

Значение

Идеализация

Идемпотентности Закон

Иллюстрация

Импликация

Импликация Материальная -

Имя

Индивид

Индуктивная Логика

Индуктивное Определение

Индукции Каноны

Индукция

Индукция Математическая, Полная Математическая Индукция

Индукция Неполная

Индукция Полная

Индукция Популярная

Интенсионал И Экстенсионал

Интерпретация

Интерсубъективный

Интуитивная Логика

Интуиционизм

Интуиционистская Логика

Интуиция

Иррациональное

Искусственный Интеллект

Истина

Истинностное Значение

Исчисление

Кавычки

Категорическое Суждение

Категория

 

Классификация

Барабан

Андарак

Конвенция

Коннотация

Конструктивная Логика

Контекст

Контекстуальное Определение

Контрадикторная Противоположность

Контрапозиции Закон

Контрарная Противоположность

Концепт

Конъюнкция

Косвенное Доказательство

Круг В Доказательстве

Круг В Определении

Лемма

Лжеца Парадокс

Логика

Логика Времени

Логика Высказываний

Логика Дедуктивная

Логика Изменения

Логика Квантовой Механики

Логика Классическая

Логика Классов

Логика Комбинаторная

Логика Многозначная

Логика Научного Познания

Логика Неклассическая

Логика Норм

Логика Отношений

Логика Предикатов

Логика Традиционная

Логика Эпистемическая

Математическая Логика

Материальная Суппозиция

Метаматематика

Метатеория

Метафора

Метаязык

Метод

Методологическая Аргументация

Методология Науки

Многозначная Логика

Многозначности Принцип

Многозначность

Множеств Теория

Модальная Логика

Модальность

Модель

Модель Семантическая

Модус

Модус Понендо Толленс

Модус Поненс

Модус Толлендо Поненс

Модус Толленс

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