Презентация по информатики на тему Основные понятия алгебры логики

1 4 2 3 5 6 р а 1д и п с л е й 4 к а у т а в и а 2д д о в о к с м м а р г о 3п п р е т н и г а л т и р Термин «логика» происходит от греческого слова logos, что означает «слово, мысль, разум». Основоположники логики Аристотель, в работах которого сформулированы понятия «суждение, умозаключение», начата разработка законов логики. Аристотелева логика считается классической, формальной логикой. Большой вклад в развитие логики внес Лейбниц. В его время словесная форма записи стала неудобна для записи сложных выражений. Лейбниц придал логике символьный вид. Алгебра логики, основы которой заложил в начале 19 века Дж. Буль, используется для решения задач, написания сложных программ. Логика – это наука, изучающая законы и формы мышления.В логике мышление рассматривается как инструмент познания окружающего мира. Основными формами мышления являются понятие, высказывание, умозаключение. Понятие - это форма мышления, фиксирующая основные, существенные признаки объекта. Основными элементами математической логики являются высказывания (логические выражения)Высказывание – это основной элемент логики, повествовательное предложение (утверждение), содержание которого можно определить как истинное оно или ложное. Примеры высказываний:Город Вашингтон – столица США. (истинное) Число 2 является делителем числа 7. (ложное) Высказывания могут быть представлены не только с помощью естественных языков, но и с помощью формальных языков (математических, химических и прочих знаков).Примеры высказываний:5х5=25 (истинное), Н+О=Н2О (ложное) Не все выражения являются высказываниями.Например: На улице идет дождь. Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение). Примером умозаключений могут быть геометрические доказательства. Логические выражения простые Составные (сложные) Основные логические операции ИЛИ (логическое сложение, дизъюнкция);ИЛИ (логическое умножение, конъюнкция);НЕ (логическое отрицание, инверсия) Логическое отрицание является одноместной операцией, так как в ней участвует одно высказывание. Логическое сложение и умножение – двуместные операции, в них участвует два высказывания. Упражнение 1 (устно) Какие из предложений являются высказываниями? Ответ обосновать.Кто последний?Буква «д» согласная.Поступайте в университет!Все ученики нашей школы любят математику.Париж – столица Франции.Все кошки серы.Логика – это наука, изучающая законы и формы мышления. Упражнение 2 (устно) Какие из высказываний являются истинными, а какие ложными? Ответ обосновать.1. Земля не вращается вокруг солнца.2. 6+5=103. Пушкин – гениальный русский поэт.4. Число 8 – простое число.5. Волк – травоядное животное. Упражнение 3 (устно) Определить какие высказывания являются простыми, а какие сложными. Ответ обосновать.7+8=15 и 6+7=13Число 3 больше числа 2Неверно, что корова – хищное животное. Итог урока: Вопросы для повторения:Какие существуют основные формы мышления?Может ли быть высказывание выражено в форме вопросительного предложения?Как определяется истинность или ложность простого высказывания?Перечислите основные логические операции. Домашнее задание: Учить конспектПридумать и записать в тетрадь 3 простых и 3 сложных высказывания