Урок 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
Тема: Условия выбора и простые логические выражения
