(от англ. distribution - распределение, размещение ) - общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну логическую связь относительно другой . Полный 3. д. конъюнкции относительно дизъюнкции с использованием символики логической формулируется так (р, q, r — некоторые высказывания; & - конъюнкция , «и»; v - дизъюнкция , «или»; = — эквивалентность , « если и только если»): p&(qvr) = (p&q)v(p&r), первое и ( второе или третье ), если и только если (первое и второе) или (первое и третье). Напр.: « Сегодня идет дождь и завтра ясно или послезавтра ясно в том и только в том случае, когда сегодня идет дождь и завтра ясно или сегодня идет дождь и послезавтра ясно». Полный 3. д. дизъюнкции относительно конъюнкции: pv(q&r) = (pvq)&(pvr), первое или (второе и третье), если и только если (первое или второе) и (первое или тре'тье). Напр.: « Завтра будет солнечно или послезавтра будет мороз и снег тогда и только тогда, когда завтра будет солнечно или послезавтра будет мороз и завтра будет солнечно или послезавтра будет снег». Закон самодистрибутивности импликации (->, «если, то») дает возможность распределять импликацию по импликации: (p->(q->r))->((p->q)->(p->r)), если (если первое, то (если второе, то третье)), то (если (если первое, то второе), то (если первое, то третье)). Этот закон верен для импликации материальной, но не имеет места для целого ряда иных импликаций, вводимых в современной логике.
Что такое Закон Дистрибутивности? Значение Закон Дистрибутивности в словаре логики
Закон Дистрибутивности - (от англ. distribution - распределение, размещение) - общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну логическую связь относительно другой. Полный 3. д. конъюнкции относительно дизъюнкции с использованием символики логической формулируется так (р, q, r — некоторые высказывания; & - конъюнкция, «и»; v - дизъюнкция, «или»; = — эквивалентность, «если и только если»): p&(qvr) = (p&q)v(p&r), первое и (второе или третье), если и только если (первое и второе) или (первое и третье). Напр.: «Сегодня идет дождь и завтра ясно или послезавтра ясно в том и только в том случае, когда сегодня идет дождь и завтра ясно или сегодня идет дождь и послезавтра ясно». Полный 3. д. дизъюнкции относительно конъюнкции: pv(q&r) = (pvq)&(pvr), первое или (второе и третье), если и только если (первое или второе) и (первое или тре'тье). Напр.: «Завтра будет солнечно или послезавтра будет мороз и снег тогда и только тогда, когда завтра будет солнечно или послезавтра будет мороз и завтра будет солнечно или послезавтра будет снег». Закон самодистрибутивности импликации (->, «если, то») дает возможность распределять импликацию по импликации: (p->(q->r))->((p->q)->(p->r)), если (если первое, то (если второе, то третье)), то (если (если первое, то второе), то (если первое, то третье)). Этот закон верен для импликации материальной, но не имеет места для целого ряда иных импликаций, вводимых в современной логике.
Соседние слова
Что такое Закон АссоциативностиЧто значит Закон Гипотетического Силлогизма
Что означает Закон Двойного Отрицания
Значение Закон Де Моргана
↑ Закон Дистрибутивности ↓
Что такое Закон Дунса Скота
Что значит Закон Импортации
Что означает Закон Исключенного Третьего
Значение Закон Клавия
Узнайте лексическое, прямое, переносное значение следующих слов:
- Индуктивное Определение - определение, позволяющее из некоторых исходных объектов теории ...
- Индивид - (от лат. individuum неделимое) — единичное как ...
- Импликация Материальная - - импликация в трактовке логики классической. Для установления истинности ...
- Иллюстрация - (от лат. illustratio прояснять) факт или ...
- Идеализация - — процесс мысленного конструирования представлений и понятий об ...
- Знание - — результат процесса познания действительности, получивший подтверждение в ...
- Закон Экспортации - Импортации - (от лат. exportare вывозить, importare — ввозить) — ...
- Доказательство По Случаям - или: Доказательство разбором случаев, — логически правильное рассуждение, ...
- Доказательство Конструктивное - см.: Конструктивная логика. ...
- Дихотомия - (от греч, dicha и tome рассечение на ...
- Дискуссия - (от лат. discussio — рассмотрение, исследование) — обсуждение ...
- Дилемма - (от греч. di(s) дважды и lemma ...
- Дизъюнктивный Силлогизм - см.: Модус понендо толленс. Модус толлендо поненс. ...
- Диаграммы Венна - геометрическое наглядное представление отношений между классами (объемами ...
- Приведение К Абсурду - или: Редукция к абсурду, приведение к нелепости (лат. ...