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

Примеры высказываний «Дмитрий Анатольевич Медведев – президент России» (истина) «Апельсин синего цвета» (ложь) «5 × 5 = 25» (истина) «Н + О = Н 2 О» (ложь) «Истина» и «ложь» - это логические константы.

Примеры не высказываний «Программное обеспечение компьютера – это комплекс используемых в компьютере программ» «5 х = 204» «Она красива» «Существуют внеземные цивилизации» «На улице идет дождь»

Какие из предложений являются высказываниями? Число 6 – четное. Посмотрите на доску. Все роботы являются машинами. У каждой лошади есть хвост. Внимание! х > 0. Некоторые люди являются художниками. Память компьютера – совокупность устройств для хранения информации. Наполеон был французским императором. Да Нет Да Нет Да Нет Да

Готфрид Вильгельм фон Лейбниц Первым (в 1666 году) попытался перевести законы мышления из словесного царства в царство математики, где отношения между высказываниями определяются в виде математических отношений – 1716

Джордж Буль В 1816 году английский математик Джордж Буль подхватил идею Лейбница о создании логического универсального языка, подчиняющегося строгим математическим законам. Буль изобрел своеобразную алгебру – систему обозначений и правил, применимую к все- возможным объектам, от чисел и букв до предложений. Его именем она теперь и называется: алгебра Буля или булева алгебра – 1908

В булевой алгебре высказывания принято обозначать прописными латинскими буквами: A, B, X, Y. Действия, которые производятся над высказываниями записываются в виде логических выражений. Высказывание (логическое выражение) может принимать только одно из двух значений – ИСТИНА (1) или ЛОЖЬ (0).

Определить истинность высказываний Все ребята умеют плавать. Киев – столица Украины. Все кошки любят рыбу. Невозможно создать вечный двигатель = 10. Человек все может. Н + Н + О = Н 2 О. Каждый человек – художник. Тигр – хищное животное

Вопросы 1. Чем занимается алгебра логики? 2. Какие логические константы вам известны? 3. Что такое высказывание? 4. Приведите примеры высказываний. 5. Приведите примеры предложений, которые не могут быть высказываниями. 6. Приведите примеры истинных (ложных) высказываний. 7. Что такое логическое выражение. 8. Приведите пример логического выражения. 9. Почему алгебра логики называется булевой алгеброй? 10. Кого считают основателем логики?

Используемые материалы КИМ для подготовки и проведения ЕГЭ за курс основной школы. 3.Информатика. 8 – 9 класс. Базовый курс. Теория /Под. Ред. Н.В.Макаровой. – Спб.: Питер, Логика в информатике./Б.А.Лыскова, Е.А.Ракитина, Бином, Информатика и ИКТ: Методическое пособие для учителей. Часть 3. Техническое обеспечение информационных технологий./ Под. Ред. Н.В.Макаровой. – Спб.: Питер, ЕГЭ Информатика: сдаем без проблем! / Е.М.Островская, Н.Н.Самылкина, Эксмо, 2009.