Тема урока: «Логика и логические операции, таблицы истинности»
|
Носов Сергей Владимирович учитель информатики КГУ «Шоптыкольская средняя школа» с. Шоптыколь, район Габита Мусрепова, СКО |
Цели:
Образовательная: Дать необходимое понятие «логика» и «логические операции», «таблицы истинности».
Развивающая: Развивать логическое мышление, умение сравнивать, анализировать, обобщать и делать выводы.
Воспитательная: Воспитывать трудолюбие, культуру речи и общения.
Ход урока
1. Организационный момент (3 мин)
2. Опрос домашнего задания (8 мин)
3. Объяснение новой темы (20 мин)
4. Закрепление новой темы (7 мин)
5. Подведение итога (4 мин)
6. Домашние задания (3 мин)
Проверка домашнего задания
Новая тема
Логика
Логика (от греч. logike) — это наука о способах доказательств.
Один из ее разделов — формальная логика, которая исследует умозаключения и доказательства с точки зрения их формы, а не содержания. Одно из направления формальной логики — математическая логика, объектами исследования которой являются суждения, которые также называют высказываниями.
Высказывание — повествовательное предложение, в котором что- либо утверждается или отрицается.
Умозаключение — это форма мышления, посредством которой из одного или нескольких высказываний, называемых посылками, по определенным правилам логического вывода получается новое высказывание, называемое заключением или выводом.
Логические операции
Сложные высказывания на естественном языке образуются с помощью союзов, которые в алгебре высказывания путем соединение более простых.
Логическая операция — операция над высказываниями, позволяющая составлять новые высказывания путем соединения более простых.
Для определение истинности сложных высказываний, полученных после выполнения логических операций, служат таблицы истинности. В таблице истинности отображается все возможные значения простых высказываний, вход сложные высказывание.
Конъюнкция (логическое умножение). В результате этой операции получается сложное высказывание с соединительным союзом «И», значение которого истинно, только если входящие в него высказывания истины.
|
А |
В |
А ^ В |
|
1 |
1 |
1 |
|
1 |
0 |
0 |
|
0 |
1 |
0 |
|
0 |
0 |
0 |
Дизъюкция ( логическое сложение). В результате этой операции получается сложенное высказывание с разделительным союзом «ИЛИ», значение которого истинно, если хотя бы одного из входящих в него высказываний истинно.
|
А |
В |
А В |
|
1 |
1 |
1 |
|
1 |
0 |
0 |
|
0 |
1 |
0 |
|
0 |
0 |
0 |
Исключающая дизъюнкция — сложное высказывание, значения которого истинно, только если истинно одно входящее в него высказывание. В быту эта операция соответствует ситуации как ЛИБО-ЛИБО.
|
А |
В |
А Θ В |
|
1 |
1 |
0 |
|
1 |
0 |
1 |
|
0 |
1 |
1 |
|
0 |
0 |
0 |
Отрицание (инверсия) изменяет значение высказывания на противоположное, в естественном языке соответствует частице «НЕ» обозначается Ă.
|
А |
Ă |
|
1 |
0 |
|
0 |
1 |
Закрепление новой темы: Приведите примеры сложных высказываний, назовите использованные для их построения логические операции и определите их истинности?
Подведение итогов: выставление оценок.
Домашнее задание:
Запишите в тетрадь без знака отрицаний: ― (a<b)
Повторить конспект и пересказ и выучить определения логических операций.
Категория:
- 14183 просмотра
