www.slovoed.info

ЗАКОН ДЕ МОРГАНА

ЗАКОН ДЕ МОРГАНА

- общее название логических законов, связывающих с помощью отрицания конъюнкцию ("и") и дизъюнкцию ("или"). Названы именем англ. логика XIX в. А. де Моргана.

В терминах символики логической (р, q - некоторые высказывания; & - конъюнкция; v - дизъюнкция; ~ - отрицание, "неверно, что"; = - эквивалентность, "если и только если") данные два закона представляются формулами:

~ (p & q) = (~ p v~q), неверно, что р и q, если и только если неверно р и неверно q;

~ (p v q) = (~ p & ~ q), неверно, что или р, или q, если и только если неверно р и неверно q.

Связанные с «ЗАКОН ДЕ МОРГАНА» определения


    Все права на материалы сайта принадлежат их законным владельцам. Копирование части информации с сайта разрешено только с согласия администрации. Предложения и пожелания Вы можете отправить на странице "Обратная связь".