Планирование уроков на учебный год



Урок 20
Условия поиска информации,
простые логические выражения




Основы логики:
логические величины и формулы


Изучаемые вопросы:

- Понятие логического выражения.
- Операции отношения.
- Запросы на выборку с использованием простых логических выражений.

Основные темы:

- формальная логика и алгебра логики;
- логические величины, операции, формулы;
- таблица истинности.

Содержание урока

Термин логика

Логические операции

Логические формулы

Вопросы и задания


Вопросы и задания


Коротко о главном


Формальная логика — наука о формах логических рассуждений, основанная Аристотелем.

Алгебра логики — математический аппарат логики.

Логическая величина: константа или переменная, принимающая значения ИСТИНА или ЛОЖЬ.

Основные логические операции: отрицание, логическое умножение (конъюнкция), логическое сложение (дизъюнкция).

Отрицание изменяет значение логической величины на противоположное; результат логического умножения — истина только тогда, когда истинны оба операнда; результат логического сложения истина, если значение хотя бы одного операнда истинно.

Логическая формула: выражение, содержащее логические величины и знаки логических операций.

Порядок выполнения операций в логическом выражении определяется старшинством операций и расстановкой скобок. В первую очередь выполняются операции в скобках. Логические операции по убыванию старшинства расположены так: не, и, или.

Таблица истинности — таблица, отражающая зависимость значений логической формулы от входящих в нее переменных логических величин.

Вопросы и задания


1.   Какие проблемы решает формальная логика?

2.   Определите основные понятия алгебры логики: логическая величина, логическая операция, логическая формула.

3.   Сформулируйте правила выполнения основных логических операций.

4.   Как определяется порядок выполнения логических операций в логических формулах?

5.   Пусть а, b, с — логические величины, которые имеют следующие значения: а = ИСТИНА, b = ЛОЖЬ, с = ИСТИНА. Определить результаты вычисления следующих логических формул:


1)   а и b;
2)   а или b;
3)   не а или b;
4)   а и b или с;
5)   а или b и с;
6)   не а или b и с;
7)   (а или b) иили b);
8)   неили b) иили b);
9)   неи b и с).

6. Постройте таблицы истинности для логических формул под номерами 3 - 9 из предыдущего задания.

Домашнее задание №9
Тема: Условия выбора и простые логические выражения











Наверх