Слайд 2: Логика» и «Алгебра логики»
Логика – это наука о формах и способах мышления. Алгебра логики - раздел математической логики, в котором изучаются логические операции над высказываниями.
Слайд 3: Высказывание
Высказывания обозначается большими буквами латинского алфавита (А, В, С …) Высказывание это повествовательное предложение, про которое можно однозначно сказать истинно оно или ложно. Высказывание может принимать одно из двух значений 1 0 истина ложь Например: A=1 Например: B=0
Слайд 4: Тренировочные задания
Определите, являются ли следующие предложения высказываниями? Два умножить на два равно четыре Это высказывание? ДА Ты выучил стихотворение? Это высказывание? НЕТ A B Истина или ложь? Истина
Слайд 5: Тренировочные задания
Определите, являются ли следующие предложения высказываниями? Москва – столица Франции Это высказывание? ДА Истина или ложь? Земля обращается вокруг Солнца Это высказывание? ДА C D Ложь Истина или ложь? Истина
Слайд 6: Тренировочные задания
Определите, являются ли следующие предложения высказываниями? Сколько сейчас времени? Это высказывание? НЕТ Откройте учебники Это высказывание? НЕТ E F
Слайд 7: Простые и составные высказывания
Простое высказывание состоит из одного высказывания и не содержит логической операции. Высказывания могут быть простыми и составными Примеры простых высказываний Три умножить на три равно девяти. У треугольника 2 стороны Буква «В» - согласная Солнце всходит на востоке
Слайд 8: Простые и составные высказывания
Составное высказывание содержит высказывания, объединенные логическими операциями «и», «или», «не». Высказывания могут быть простыми и составными Пример составного высказывания Клавиатура является устройством ввода И принтер является устройством печати Это составное высказывание, состоящее из двух простых, соединённых союзом «и».
Слайд 9: Логические операции
Мы рассмотрим 3 основные логические операции Название логической операции Логическая связка Конъюнкция умножение «и» Дизъюнкция сложение «или» Инверсия отрицание «не»; «неверно, что»
Слайд 11: Логический союз «И»
Чтобы сложное утверждение «А И В» было истинным, нужно, чтобы обе части этого утверждения были истинны. Логический союз «И» в алгебре логики соответствует логической операции - конъюнкция (логическое умножение), и обозначается А Λ В, А & В, А∙В. В теории множеств логический союз «И» соответствует пересечению множеств
Слайд 12: (таблица, определяющая значение сложного высказывания при всех возможных значениях простых высказываний) Высказывание «А и В» ложно. Что можно сказать об истинности А и В? Высказывание «А и В» истинно. Что можно сказать об истинности А и В ? Придумайте утверждения для каждого случая
Слайд 13: Логический союз «ИЛИ»
Чтобы сложное утверждение «А ИЛИ В» было истинным, нужно, чтобы хотя бы одна часть этого утверждения были истинны. Логический союз «ИЛИ» в алгебре логики соответствует логической операции - дизъюнкция (логическое сложение), и обозначается А V В, А | В, А+В. В теории множеств логический союз «ИЛИ» соответствует объединению множеств
Слайд 14: Высказывание «А или В» ложно. Что можно сказать об истинности А и В? Высказывание «А или В» истинно. Что можно сказать об истинности А и В ? Придумайте утверждения для каждого случая
Слайд 15: Истинно или ложно утверждение: 1)Фигура 1 является треугольником или фигура 1 является квадратом. 2) Фигура 2 является треугольником или квадратом 3) Фигура 3 является или треугольником или квадратом. 4) Фигура 1 является треугольниковм и кругом. Фигура1. Фигура 2. Фигура 3
Слайд 16: Задача 1. Утверждение А : «Данное число простое». Утверждение В : « Данное число четное» а)Сформулируйте утверждение А Λ В. Может ли оно быть истинным? б )Сформулируйте утверждение А V В. Может ли оно быть ложным?
Слайд 17: ПРОВЕРКА Задачи 1. Утверждение А : «Данное число простое». Утверждение В : « Данное число четное» а)Сформулируйте утверждение А Λ В. «Данное число простое и четное» Может ли оно быть истинным? Да: 2 б )Сформулируйте утверждение А V В. «Данное число простое или четное». Может ли оно быть ложным? Да: 2 1
Слайд 18: Задача 2. Утверждение А : «Точка А принадлежит прямой а». Утверждение В : «Точка А принадлежит прямой b » а)Сформулируйте утверждение А Λ В. Может ли оно быть ложным? б )Сформулируйте утверждение А V В. Может ли оно быть истинным?
Слайд 19: ПРОВЕРКА Задачи 2. Утверждение А : «Точка А принадлежит прямой а». Утверждение В : «Точка А принадлежит прямой b » а)Сформулируйте утверждение А Λ В. «Точка А принадлежит прямой а и принадлежит прямой b ». Может ли оно быть ложным? Да, если А не точка пересечения прямых. б )Сформулируйте утверждение А V В. «Точка А принадлежит прямой а или прямой b ». Может ли оно быть истинным? Да
Слайд 20: Задача 3. Утверждение А: « Число х больше 3», утверждение В: «Число х меньше 11». Могут ли оба утверждения оказаться: а)истинными? б)ложными?
Слайд 21: ПРОВЕРКА Задачи 3. Утверждение А: « Число х больше 3»,утверждение В: «Число х меньше 11». Могут ли оба утверждения оказаться: а)истинными? б)ложными? а ) Да. х=5, б) Нет
Слайд 22: Задача 4. Утверждение А: «В параллелограмме противоположные стороны параллельны» Утверждение В: «В параллелограмме противоположные стороны равны». Составить утверждение «А и В». Истинно оно или ложно?
Слайд 23: ПРОВЕРКА Задачи 4. Утверждение А: «В параллелограмме противоположные стороны параллельны» Утверждение В: «В параллелограмме противоположные стороны равны». Составить утверждение «А и В ». Истинно оно или ложно? « А и В»: «В параллелограмме противоположные стороны параллельны и равны ». Истинно
Слайд 24: Задача 5 Четверо школьников обсуждали ответ к примеру из учебника математики. Толя сказал: «Ответ 9». Роман сказал: «Ответ- простое число». Катя добавила: «Ответ – четное число». Наташа сказала: «Это число делится на 15». Оказалось, что один мальчик и одна девочка ответили верно, а двое детей ошиблись. Каков ответ задачи?
Слайд 25: З адача 5
Ответы мальчиков Ответы девочек 9 простое четное Кратно 15 1вариант 2вариант 3вариант 4вариант
Слайд 26: Проверка задачи 5.( 1 пусть это верно) В 3 и 4 вариантах не выполнено условие: «один мальчик и одна девочка ответили верно». Ответ : число 2
Слайд 27: Высказывание «не А» называется отрицанием А или логическим отрицанием. Обозначение ⌐А, Утверждение «А и (не А)» является л ожным высказыванием независимо от того, истинно или ложно утверждение А. Утверждение «А или (не А)» является истинным высказыванием независимо от того, истинно или ложно утверждение А. Придумайте примеры таких высказываний
Слайд 28: Обобщение
Логический союз «И». В русском языке: союз «и» В алгебре логики- конъюнкция (логическое умножение) В теории множеств: пересечение множеств В алгебре: система Логический союз «ИЛИ». В русском языке: союз «или» В алгебре логики- дизъюнкция (логическое сложение) В теории множеств: объединение множеств В алгебре: совокупность
Слайд 29: Самостоятельная работа
1 вариант Мяч круглый, ИЛИ Земля плоская. Клавиатура — устройство ввода информации, ИЛИ принтер — устройство печати. Кролики — домашние животные, И баобаб растет в Беловежской пуще. М. Ю. Лермонтов написал стихотворение «Парус», И И. А. Крылов написал басню «Квартет ». Июль- зимний месяц И математика – точная наука 2 вариант Соль сладкая, ИЛИ снег белый Процессор — устройство обработки информации в компьютере, ИЛИ наушники — не устройство ввода информации. Сосна — хвойное дерево, И кедр — не хвойное дерево. Континенты и острова — это большие участки суши. Корова даёт молоко ИЛИ Германия одержала победу во Второй Мировой Войне.