Муниципальное образовательное учреждение Сизинская средняя общеобразовательная школа Составитель: учитель информатики и ИКТ Гумаров Дамир Раифович Арск, - презентация

1 Муниципальное образовательное учреждение Сизинская средняя общеобразовательная школа Составитель: учитель информатики и ИКТ Гумаров Дамир Раифович Арск, 2009

2 Цель презентации: познакомиться с основами логики. Задачи презентации: дать определение терминам логика, основных форм мышления, логических операций; составить таблицы истинности логических операций; познакомиться с логическими законами.

3 Содержание 1. Историческая справка. 3. Формы мышления (понятие, высказывание, умозаключение). Слайды 6 – Алгебра высказываний Логическое умножение Логическое сложение Логическое отрицание Логическое следование Логическое равенство. 5. Логические законы. Слайды 14 – Логика. Алгебра логики. Слайд 4 Слайд 5 Слайд 6 Слайд 9 Слайд 10 Слайд 11 Слайд 12 Слайд 13 Слайд Список источников. Слайд 18

4 Историческая справка ( ) Английский математик Джордж Буль разработал основы алгебры, в которой используются только 0 и 1 (алгебра логики, булева алгебра). К содержанию

5 Алгебра логики – это математический аппарат, с помощью которого записывают (кодируют), упрощают, вычисляют и преобразовывают логические высказывания. Логика – это наука о способах и формах мышления. К содержанию

6 Формы мышления 1. Понятие. 2. Высказывание. 3. Умозаключение. Понятие – форма мышления, фиксирующая основные, существенные признаки объекта. К содержанию

7 Высказывание – повествовательное предложение, о котором можно сказать, истинно оно или ложно. Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение. Задание. Приведите примеры простых и сложных высказываний.

8 Сейчас светит солнце. Сократ – человек. История – интересный предмет. Луна является спутником Земли. Превосходно! Как пройти к музею Чайковского? У меня есть кошка. Высказывание или нет?

9 Алгебра высказываний Логическое умножение (конъюнкция, операция и). sign: Λ Истинно тогда и только тогда, когда истинны все входящие в него простые высказывания. ABА Λ B К содержанию

10 Алгебра высказываний ABА v B Логическое сложение (дизъюнкция, операция или). sign: v Истинно тогда и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний К содержанию

11 Алгебра высказываний АА 0 1 Логическое отрицание (инверсия, операция не). sign: Инверсия делает истинное высказывание ложным и,наоборот, ложное – истинным. 1 0 К содержанию

12 Алгебра высказываний Логическое следование (импликация, если…, то…) sign: Составное высказывание, образованное с помощью импликации ложно тогда и только тогда, когда из истинного высказывания следует ложное. ABА B К содержанию

13 Алгебра высказываний Логическое равенство (эквивалентность, … тогда и только тогда, когда…); sign: Составное высказывание, образованное с помощью эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны. ABА B К содержанию

14 Логические законы 1. Закон тождества: 2. Закон противоречия: 3. Закон исключения третьего: 4. Закон двойного отрицания: 5. Законы де Моргана: К содержанию

15 Логические законы 6. Закон коммутативности: 7. Закон ассоциативности: 8. Закон дистрибутивности:

16 Логические законы 9. Закон идемпотентности: 10. Законы исключения констант: 11. Закон поглощения:

17 Логические законы 12. Закон исключения (склеивания): 13. Закон контрапозиции:

18 Список используемых источников для создания данной презентации 1.Угринович Н.Д. Информатика и информационные технологии. Учебник для классов. 2. Угринович Н.Д. Практикум по информатике и информационным технологиям: Учебное Пособие для общеобразовательных Учреждений/Н.Д. Угринович, Л.Л. Босова, Н.И. Михайлова htm

19