На тему : « Законы де Моргана » Ученицы 10-1 класса Соколовой Ксении.

Презентация:



Advertisements
Похожие презентации
Алгебра логики. Основные операции алгебры логики (С)Т.М.2010.
Advertisements

ПРОВЕРКА ПРОЙДЕННОГО МАТЕРИАЛА 1. Проверка пройденного материала 1. Записать таблицы истинности для конъюнкции, дизъюнкции, отрицания, импликации и эквивалентности.
Введение в логику Логика – наука о формах и законах мышления.
Логические законы и правила преобразования логических выражений.
Основатель – Аристотель ( гг. до н.э. ) Ввёл основные формулы абстрактного мышления Историческая справка 1 этап – формальная логика.
логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда.
Устимкина Л.И. 1 Законы и правила математической логики Упрощение сложных высказываний 900igr.net.
Элементы логики Составлено по учебнику Угринович «Информатика и информационные технологии.».
Алгебра высказываний. Основные операции алгебры высказываний.
С помощью логических переменных и символов логических операций любое высказывание можно заменить логическим выражением ( формулой). Алгебра логики – это.
МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ. Язык логики высказываний. Договоренности использования алфавита Алфавит состоит из пропозициональных переменных,
Тест по теме: «Алгебра логики». 1. Кто является основателем алгебры логики? Джордж Сильверстоун Джеймс Браун Джон Смит Джордж Буль.
р а 1д1д и п с л е й 4 каутавиа 2д2д д о в о к с м м а р г о 3п3п претни галтир.
Алгебра логики. Логика Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и.
АЛГЕБРА ВЫСКАЗЫВАНИЙ. ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ.
1 Основы логики и логические основы компьютера 10 класс.
Логика высказываний КОНСПЕКТ ЗАНЯТИЯ Основные понятия - Логика - это наука о законах и операциях правильного мышления. - Логика высказываний - определенная.
LOGOS (ГРЕЧ.)- СЛОВО, ПОНЯТИЕ, РАССУЖДЕНИЕ, РАЗУМ Слово «логика» обозначает совокупность правил, которым подчиняется процесс мышления. Основными формами.
Алгебра логики. Логика Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и.
Алгебра высказываний Алгебра логики – раздел математической логики, изучающий строение сложных логических высказываний и способы установления их истинности.
Транксрипт:

На тему : « Законы де Моргана » Ученицы 10-1 класса Соколовой Ксении

Законы де Моргана ( правила де Моргана ) логические правила, связывающие пары дуальных логических операторов при помощи логического отрицания.

Огастес ( Август ) де Морган ( англ. Augustus de Morgan, 27 июня 1806, Мадура, Индия 8 марта 1871, Лондон ) шотландский математик и логик ; профессор математики университетского колледжа в Лондоне ( , ); первый президент (1866) Лондонского математического общества. Основные труды : по математической логике и теории рядов ; к своим идеям в алгебре логики пришёл независимо от Дж. Буля ; изложил (1847) элементы логики высказываний и логики классов, дал первую развитую систему алгебры отношений ; с его именем связаны известные теоретико - множественные соотношения ( законы де Моргана ).

Огастес де Морган первоначально заметил, что в классической пропозициональной логике справедливы следующие соотношения : not (P and Q) = (not P) or (not Q) not (P or Q) = (not P) and (not Q) Обычная запись этих законов в формальной логике : или в теории множеств : или : Если существует операция логического умножения двух и более элементов, операция « и » (A&B), то для того, чтобы найти обратное от всего суждения ~(A&B), необходимо найти обратное от каждого элемента и объединть их операцией логического сложения, операцией « или » (~A+~B). Закон работает аналогично в обратном направлении : ~(A+B) = (~A&~B))

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