Что такое Закон Де Моргана? Значение и толкование слова zakon de morgana, определение термина

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

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Закон Дунса Скота -  - закон логики классической, характери­зующий логическое противоречие и импликацию материальную....

Закон Импортации - см.: Закон экспортации — импортации.

Закон Исключенного Третьего -  - логический закон, со­гласно которому истинно или само высказывание, или его отри­цание. Закон...

Закон Клавия -  — логический закон, характеризующий связь импликации («если, то») и отрицания. Его можно...

Закон Коммутативности - (от лат. commutatio - изменение, перемена)  — общее название логических законов, позволяющих...

Закон Коммутации - (от лат. commutatio - изменение, переме­на)  — логический закон, говорящий о возможности...

Закон Композиции - (от лат. compositio — сочинение, состав­ление)  - общее название ряда логических законов,...

Закон Косвенного Доказательства -  - логический закон, позволяющий делать заключения об истинности какого-то выска­зывания на...

Закон Логики - см.: Логический закон.

Закон Мышления - - термин традиционной логики,  обозна­чавший требование к логически совершенному мышлению, имею-...