| Форма организации: объяснение учителя с элементами эвристической беседы; работа с учебником; самостоятельная работа с текстом. – Откройте тетради и запишите тему. Сейчас мы разберём несколько важных определений. Слушайте внимательно, потому что каждое слово в определении имеет значение. 1. Что такое алгебра логики? Вы уже знакомы с алгеброй чисел, алгеброй многочленов. Алгебра в широком смысле – это наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться над разнообразными математическими объектами. Для информатики важен раздел математики, называемый алгеброй логики. Объектами алгебры логики являются высказывания. Запишите: Алгебра логики – раздел математики, объектами которого являются высказывания. 2. Что такое высказывание? Высказывание – это предложение на любом языке, содержание которого можно однозначно определить как истинное или ложное. Например, предложение «Великий русский учёный М. В. Ломоносов родился в 1711 году» – истинное. Предложение «Two plus six is eight» – истинное. Предложение «Зимой воробьи впадают в спячку» – ложное. Все эти предложения являются высказываниями. Запишите: Высказывание – предложение, про которое можно однозначно сказать, истинно оно или ложно. Истина обозначается И или 1. Ложь обозначается Л или 0. Важно! Ложное утверждение – это тоже высказывание! Например, «2 + 2 = 5» – это высказывание, потому что оно утверждает, и мы можем сказать, что оно ложно. 3. Какие предложения не являются высказываниями? В русском языке высказывания выражаются повествовательными предложениями. Но не всякое повествовательное предложение является высказыванием. Например, предложение «Это предложение является ложным» не является высказыванием, так как относительно него нельзя сказать, истинно оно или ложно, без того чтобы не получить противоречие. Действительно, если принять, что предложение истинно, то это противоречит сказанному. Если же принять, что оно ложно, то отсюда следует, что оно истинно. Относительно предложения «Компьютерная графика – самая интересная тема в курсе школьной информатики» также нельзя однозначно сказать, истинно оно или ложно. Это оценочное суждение. Побудительные и вопросительные предложения высказываниями не являются. Например: «Запишите домашнее задание», «Как пройти в библиотеку?», «Кто к нам пришёл!». Запишите: Не являются высказываниями: вопросительные предложения; побудительные предложения; оценочные суждения; предложения, приводящие к противоречию. 4. Высказывания в формальных языках. Высказывания могут строиться с использованием знаков различных формальных языков – математики, физики, химии и т. п. Примерами высказываний могут служить: «Na – металл» (истинное высказывание); «Второй закон Ньютона выражается формулой F = m·a» (истинное высказывание); «Периметр прямоугольника с длинами сторон a и b равен a·b» (ложное высказывание). 5. Числовые выражения и высказывания. Не являются высказываниями числовые выражения, но из двух числовых выражений можно составить высказывание, соединив их знаками равенства или неравенства. Например: «3 + 5 = 2 · 4» (истинное высказывание); «II + VI VIII» (ложное высказывание). 6. Высказывательные формы. Не являются высказываниями и равенства или неравенства, содержащие переменные. Например, предложение «X Такие предложения с переменными называют высказывательными формами. Запишите: Высказывательная форма – повествовательное предложение, которое содержит хотя бы одну переменную и становится высказыванием, когда все переменные заменяются конкретными значениями. Область истинности высказывательной формы – множество значений переменной, при которых получаются истинные высказывания. 7. Простые и составные высказывания. Все рассмотренные выше высказывания либо отражали отношения между двумя объектами, либо описывали некоторое свойство объекта. Такие высказывания называют простыми или элементарными. Например, высказывание «Na – металл» описывает свойство («металл») объекта («Na»); высказывание «3 + 5 = 2 · 4» отражает отношение («=») между двумя объектами. Запишите: Простое высказывание – высказывание, которое нельзя разделить на более мелкие высказывания. Составное высказывание – высказывание, построенное из простых с помощью логических связок. 8. Логические связки НЕ, И, ИЛИ. Из простых высказываний с помощью логических связок НЕ, И, ИЛИ можно строить составные высказывания. Рассмотрим каждую связку отдельно. Связка НЕ (отрицание). Составное высказывание со связкой НЕ содержит одно простое высказывание. Правила: Составное высказывание со связкой НЕ истинно, если содержащееся в нём простое высказывание ложно. Составное высказывание со связкой НЕ ложно, если содержащееся в нём простое высказывание истинно. Например: Простое высказывание «Число 5 является чётным» – ложно. Составное «Число 5 НЕ является чётным» – истинно. Простое высказывание «Последняя буква в слове "логика" является гласной» – истинно. Составное «Последняя буква в слове "логика" НЕ является гласной» – ложно. С помощью связки НЕ мы строим отрицание исходного высказывания. Чтобы избежать двусмысленности, рекомендуется использовать речевой оборот «неверно, что» и ставить его перед исходным высказыванием. Например: Отрицание высказывания «У меня дома есть компьютер» – «Неверно, что у меня дома есть компьютер» (или «У меня дома нет компьютера»). Отрицание высказывания «Я не знаю китайский язык» – «Неверно, что я не знаю китайский язык» (или «Я знаю китайский язык»). Отрицание высказывания «Все юноши 8-х классов – отличники» – «Неверно, что все юноши 8-х классов – отличники» (или «Не все юноши 8-х классов – отличники»). Запишите: НЕ – связка отрицания. НЕ А истинно, когда А ложно; НЕ А ложно, когда А истинно. Связка И (конъюнкция). Составное высказывание со связкой И содержит два простых высказывания. Правило: Составное высказывание со связкой И истинно тогда и только тогда, когда истинны оба входящие в него простые высказывания. Например, простые высказывания «Число 324 делится на 7» и «Число 324 делится на 5» – оба ложны. Рассмотрим составные: «Число 324 делится на 7 И на 5» – ложное высказывание; «Число 324 делится на 7 И на 3» – ложное высказывание; «Число 324 делится на 3 И на 2» – истинное высказывание. Запишите: И – связка конъюнкции. А И В истинно только тогда, когда истинны оба: и А, и В. Связка ИЛИ (дизъюнкция). Составное высказывание со связкой ИЛИ содержит два простых высказывания. Правило: Составное высказывание со связкой ИЛИ ложно тогда и только тогда, когда ложны оба входящие в него простые высказывания. Например: «Число 324 делится на 7 ИЛИ на 5» – ложное высказывание (оба ложны); «Число 324 делится на 7 ИЛИ на 3» – истинное высказывание (одно истинно); «Число 324 делится на 3 ИЛИ на 2» – истинное высказывание (оба истинны). Запишите: ИЛИ – связка дизъюнкции. А ИЛИ В ложно только тогда, когда ложны оба: и А, и В. Важно! В обычной жизни связка ИЛИ часто трактуется в исключающем смысле («или одно, или другое, но не оба»). В математической логике и программировании ИЛИ воспринимается в неисключающем смысле. Например, высказывание «Иван может перекусить бутербродом или яблоком» означает, что Иван может перекусить бутербродом, или яблоком, или и тем, и другим. 9. Составные высказывания из составных. Составные высказывания можно строить не только из элементарных высказываний, но и из других составных высказываний. Например: «В слове "вентиль" первая буква согласная И вторая – гласная, ИЛИ в слове "кулер" шесть букв» – истинное высказывание. |