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

259

(от англ. 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)), если (если первое, то (если второе, то третье)), то (если (если первое, то второе), то (если первое, то третье)). Этот закон верен для импликации материальной, но не имеет места для целого ряда иных импликаций, вводимых в современной логике..

Значения в других словарях
Закон Двойного Отрицания

- закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так. От­рицание отрицания дает утверждение, или. Повторенное дважды отрицание ведет к утверждению. Напр. «Если неверно, что Вселен­ная не является бесконечной, то она бесконечна». 3. Д. О. Был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его так. Если из отри­цания к.-л. Высказывания следует противоречие, то имеет место двой­ное отрицание исходного высказывания..

Закон Де Моргана

- общее название логических законов, связывающих с помощью отрицания конъюнкцию («и») и дизъюн­кцию («или»). Названы именем англ. Логика XIX в. А. Де Моргана. Один из этих законов можно выразить так. Отрицание конъюнк­ции эквивалентно дизъюнкции отрицаний. Напр. «Неверно, что завтра будет холодно и завтра будет дождливо, тогда и только тогда, когда завтра не будет холодно или завтра не будет дождливо». Другой закон. Отрицание дизъюнкции эквивалентно конъюнк­ции отрицаний. Напр. «Неверно, что уче..

Закон Дунса Скота

- закон логики классической, характери­зующий логическое противоречие и импликацию материальную. За­кон можно передать так. Ложное высказывание влечет (имплици­рует) любое высказывание. Напр. «Если дважды два не равно четырем, то, если дважды два четыре, вся математика ничего не значит». Первое упоминание закона принадлежит средневековому фило­софу и логику Дунсу Скоту, прозванному «тонким доктором» схо­ластики. Амер. Философ и логик К. И. Льюис (1883-1964), поло­живший начало исследованию модал..

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

См. Закон экспортации — импортации.. ..

Дополнительный поиск Закон Дистрибутивности Закон Дистрибутивности

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Закон Дистрибутивности" в словаре Словарь логики, подробное описание, примеры использования, словосочетания с выражением Закон Дистрибутивности, различные варианты толкований, скрытый смысл.

Первая буква "З". Общая длина 22 символа