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

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

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

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

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

- общее заглавие для ряда логи­ческих законов, позволяющих при помощи отрицания поменять мес­тами основание и следствие (антецедент и консеквент) условного выражения. Один из этих законов, именуемый время от времени законом про­стой контрапозиции, звучит так: если 1-ое Закон Экспортации - Импортации тянет вто­рое, то отрицание второго тянет отрицание первого. Напр.: «Если правильно, что число, делящееся на 6, делится на три, то правильно, что число, не делящееся на три, не делится также на шесть». С внедрением символики логической (р, 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. Напр.: «Если правильно, что однообразная и ограниченная последо­вательность сходится, то однообразная и не сходящаяся последова­тельность неограниченна».

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

Закон Клавия

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

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

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

Закон Косвенного Подтверждения

Закон Логики

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

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

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

Символ

Познание

Значение

Идеализация

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

Иллюстрация

Импликация

Импликация Вещественная -

Имя

Индивидум

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

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

Индукции Закон Экспортации - Импортации Каноны

Индукция

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

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

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

Индукция Пользующаяся популярностью

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

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

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

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

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

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

Интуиция

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

Искусственный Ум

Правда

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

Исчисление

Кавычки

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

Категория

Систематизация

Барабан

Андарак

Конвенция

Коннотация

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

Контекст

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

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

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

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

Концепт

Конъюнкция

Косвенное Подтверждение

Круг В Подтверждении

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

Лемма

Лгуна Феномен

Логика

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

Логика Выражений

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

Логика Конфигурации

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

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

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

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

Логика Неоднозначная

Логика Научного Зания

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

Логика Норм

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

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

Логика Обычная

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

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

Вещественная Суппозиция

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

Метатеория

Метафора

Метаязык

Способ

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

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

Неоднозначная Закон Экспортации - Импортации Логика

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

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

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

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

Модальность

Модель

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

Модус

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

Модус Поненс

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

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

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



zaklyuchennij-murmanskoj-kolonii-otdaet-zarplatu-v-fondi-borbi-s-narkotikami-rossijskaya-blagotvoritelnost-v-zerkale-smi.html
zaklyuchitelnaya-diagnostika-osvoeniya-kursa.html
zaklyuchitelnaya-rech-otto-fon-bismarka.html