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