Конспект урока Таблицы истинности

Тема урока: Таблицы истинности
Цель:
Обучающая: дать понятие таблица истинности, научить учащихся составлять таблицы истинности
Развивающая: расширение знаний о принципах работы компьютера
Воспитательная: воспитание основных учебных умений, интереса к информатике
Тип урока: урок формирований знаний
Вид урока: стандартный урок
Прогнозируемые результаты: уч-ся должны знать определение науки логики, знать виды суждений, операции над высказываниями и их таблицы истинности
Оборудование: доска, мел, опорный конспект, презентация
План урока:
Организационный момент, целеполагание.
Проверка д/з. Устный опрос
Новая тема Лекция
Закрепление. Устный опрос
Подведение итогов, комментирование оценок.
Инструктаж домашнего задания.

ХОД УРОКА:
Организационный момент, целеполагание.
Проверка д/з. Устный опрос
Выводы.
Новая тема
Логика – наука о формах, законах человеческого мышления, о законах доказательных рассуждений
Суждение – высказывание, которое может быть истинным или ложным
Является ли суждением высказывание:
- Сатурн – спутник Солнца
- завтра я иду на тренировку
- мойте руки перед едой (это утверждение)
- если будет дождь, то мы не поедем купаться
- ты был на выставке? (это вопрос)
Виды суждений:
истинные или ложные
тождественно-истинные – справедливы всегда
частные – выражают конкретные факты, н-р, 2+3=3+2, 2>0
общие – выражают общие свойства множества объектов. Н-р, a+b=b+a, все положительные числа >0
простые и составные. Составные суждения – объединение простых суждений с помощью логических операций.
Логические операции
Логическое умножение (конъюнкция) – соединение простых суждений с помощью союза И. Обозначается И,
·, &, and
Таблица истинности
a
b
A и b

0
0
0





0
1
0

1
0
0

1
1
1

Вывод. Конъюнкция истинна, если истинны оба простых суждения, и ложна, если ложно хотя бы одно из них.
Логический элемент 13 SHAPE \* MERGEFORMAT 1415
Например, 13 SHAPE \* MERGEFORMAT 1415 13 SHAPE \* MERGEFORMAT 1415 13 SHAPE \* MERGEFORMAT 1415
Логическое сложение (дизъюнкция) – соединение простых суждений с помощью союза ИЛИ. Обозначается ИЛИ, +, or
Таблица истинности
a
b
A или b

0
0
0

0
1
1

1
0
1

1
1
1

Вывод. Дизъюнкция истинна, если истинно хотя бы одно из простых суждений, и ложна, если ложны оба суждения
Логический элемент 13 SHAPE \* MERGEFORMAT 1415
Например, 13 SHAPE \* MERGEFORMAT 1415 13 SHAPE \* MERGEFORMAT 1415 13 SHAPE \* MERGEFORMAT 1415
Логическое ОТРИЦАНИЕ – присоединение частицы НЕ к простому суждению. Обозначается НЕ, not, ¬
Таблица истинности
a
не А

0
1

1
0

Вывод. Логическое отрицание истинно, если ложно исходное суждение, и ложно, если исходное суждение истинно
Логический элемент 13 SHAPE \* MERGEFORMAT 1415
Например, 13 SHAPE \* MERGEFORMAT 141513 SHAPE \* MERGEFORMAT 1415

Решение задач.
Закрепление. Устный опрос
1.Какие логические операции вы узнали
2. Что такое таблицы истинности
Подведение итогов, комментирование оценок.
Инструктаж домашнего задания. Определения учить.

И

И

И

И

И

ИЛИ

ИЛИ

ИЛИ

ИЛИ

не

не

не



Заголовок 1Заголовок 215