Справочник от Автор24
Найди эксперта для помощи в учебе
Найти эксперта
+2

Закон дистрибутивности

Предмет Логика
👍 Проверено Автор24

общее название группы логических законов сходной структуры. Эти законы позволяют распределить одну логическую связь относительно другой.Полный 3. д. конъюнкции относительно дизъюнкции с использованием символики логической формулируется так (р, q, r — некоторые высказывания; & - конъюнкция, «и»; v - дизъюнкция, «или»; = — эквивалентность, «если и только если»):p&(qvr) = (p&q)v(p&r), первое и (второе или третье), если и только если (первое и второе) или (первое и третье). Напр.: «Сегодня идет дождь и завтра ясно или послезавтра ясно в том и только в том случае, когда сегодня идет дождь и завтра ясно или сегодня идет дождь и послезавтра ясно».

Научные статьи на тему «Закон дистрибутивности»

Умножение и деление натуральных чисел. Таблица умножения

Закон дистрибутивности умножения относительно сложения: \[\left(a+b\right)\cdot c=a\cdot c+b\cdot c.\...
] Закон дистрибутивности умножения относительно вычитания: \[\left(a-b\right)\cdot c=a\cdot c-b\cdot

Статья от экспертов

Полукольца с условиями идемпотентности

Изучаются полукольца, удовлетворяющие условиям идемпотентности и близкие к дистрибутивным решеткам по своим исходным свойствам. Особое внимание уделено строению коммутативных идемпотентных полуколец с двойственным законом дистрибутивности.

Научный журнал

Исчисление высказываний

Исчисление высказываний – это формальная теория, ориентированная на формализацию понятий логического закона...
Различают полный закон контрапозиции, прямой и обратный законы контрапозиции....
На основе закона контрапозиции как общезначимого импликативного утверждения строится правило вывода,...
Законы дистрибутивности. Также эти законы называются распределительными....
Выделяют дистрибутивность конъюнкции относительно дизъюнкции и дистрибутивность дизъюнкции относительно

Статья от экспертов

Об одном обобщении подстановки применительно к задаче статического анализа программ

В настоящей работе введено новое понятие метаподстановки, обобщающее широко используемое в теории вычислений понятие подстановки. В отличие от подстановок метаподстановки позволяют определить операции композиции и вычисления точной нижней грани так, чтобы эти операции подчинялись законам дистрибутивности. Благодаря этому метаподстановки представляются более удобным объектом для использования их в алгоритмах статического анализа программ.

Научный журнал

Еще термины по предмету «Логика»

Ab absurdo

(от лат.) - от нелепого; искодить от нелепого при доказательстве чего-либо.

🌟 Рекомендуем тебе

Обоснованность

необходимость выводить высказывания из других.

🌟 Рекомендуем тебе
Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

  1. Напиши термин
  2. Выбери определение из предложенных или загрузи свое
  3. Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
Все самое важное и интересное в Telegram

Все сервисы Справочника в твоем телефоне! Просто напиши Боту, что ты ищешь и он быстро найдет нужную статью, лекцию или пособие для тебя!

Перейти в Telegram Bot