Формулы алгебры высказываний

Цель: сформировать у учеников понятие о формуле алгебры высказываний, сформировать навыки, необходимые для применения формул алгебры высказываний на практике.

Задачи:

– сформировать у учеников понятие о формуле алгебры высказываний.

– развить практические навыки решения задач по данному материалу.

– формирование у детей научного мировоззрения.

План урока:

1. Орг. часть.

2. Сообщение нового материала.

3. Закрепление нового материала.

4. Задание на дом.

Ход урока:

1. Проверка отсутствующих в классе, домашнего задания.

2. Теперь приступим к запланированной на сегодня работе. Тема нашего урока – формулы алгебры высказываний.

Определение:

Всякая буква, обозначающая высказывание, является формулой.

Символы 0 и 1 являются формулами.

Если А – формула, то и – формула.

Если А и В – формулы, то А /\ В, А \/ В, , тоже формулы.

Формулами являются только те выражения которые можно получить при помощи пунктов 1–4.

Примеры формул:

А, В, , ()/\В, (()/\В) /\( А \/ В).

Определение: пусть даны две формулы А и В и пусть х1, х2, …,хn – совокупность букв, входящих хотя бы в одну из этих формул. Тогда формулы А и В называются равносильными, если при любом наборе значений х1, х2, …,хn они принимают одинаковые значения.

То, что формулы А и В равносильны, обозначают как , что понимают как «А равносильно В».

Вот некоторые из равносильностей:

1. .

2. .

3. А \/ В.

4. .

5. А \/ В В \/ А.

6. \/.

7. .

8. .

9. А \/ .

10. А /\ 1А.

11. \/ В.

12. .

Эти равносильности доказываются построением таблиц истинности для левых и правых частей равенств.

Докажем, например, формулу №6:

Это интересно:

Методические рекомендации по проведению лекционных занятий
Среди разнообразных методов и средств совершенствования процесса обучения в высшей школе, интенсификации и повышения эффективности учебной деятельности важное место отводится использованию технических средств обучения (ТСО). В настоящее время рекомендуется внедрение различных технических средств об ...

Основные положения теории развивающего обучения
Можно выделить две взаимосвязанных линии в теории РО. Это линия, связанная с ценностью теоретического мышления и теоретического отношения к миру. А вторая связана со схемами ведущей деятельности, зоны ближайшего развития, становления основных новообразований возраста. Относительно первой линии базо ...

Организация урока в системе ЛОО. Основные требования
Урок - основной элемент образовательного процесса, но в системе ЛОО существенно меняется его функция, форма организации. В этом случае урок подчиняется не сообщению и проверке знаний (хотя и такие уроки нужны), а выявлению опыта учеников по отношению к излагаемому содержанию. Конечно, работа на уро ...