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

232

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

= — эквивалентность, «если и только если») данные два закона представляются формулами. ~ (p &. Q) = (~ p v~q), неверно, что р и q, если и только если неверно р и неверно q. ~ (p v q) = (~ p &. ~ q), неверно, что или р, или q, если и только если неверно р и неверно q. На основе этих законов, используя отрицание, связку «и» мож­но определить через «или», и наоборот. «р и q» означает «Невер­но, что не-р или не-q», «р или q» означает «Неверно, что не-р и не-q». Напр., «Идет дождь и идет снег» означает «Неверно, что нет дождя или нет снега». «Сегодня холодно или сыро» означает «Не­верно, что сегодня не холодно и не сыро»..

Значения в других словарях
Закон Гипотетического Силлогизма

- закон логики, характеризующий импликацию («если, то»). Если первое влечет вто­рое, то если второе влечет третье, то первое влечет третье. Напр. «Если с ростом знаний о человеке возрастает возможность защитить его от болезней, то если с ростом этой возможности растет средняя продолжительность человеческой жизни, то с ростом знаний о че­ловеке растет средняя продолжительность его жизни». Иначе говоря, если условием истинности первого является истинность второго, то если условием истинности второ..

Закон Двойного Отрицания

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

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

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

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

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

Дополнительный поиск Закон Де Моргана Закон Де Моргана

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

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

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