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

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

Задачи:

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

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

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

План урока:

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:

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

Выявление уровня развития моторики речи у младших школьников с нарушением интеллекта
Опытно-экспериментальная работа осуществлялась на базе Черновской специальной коррекционной школы-интерната VIII вида г.Читы в первом классе. В классе обучается 18 детей с разным уровнем интеллектуальных нарушений. В экспериментальную группу вошли 8 детей класса с диагнозом – легкая степень умствен ...

Социально-территориально-культурные основания «проектов» воспитательной работы
В современных процессах культурного воспроизводства можно выделить два конкурирующих направления: процесс глобальной унификации культурного многообразия и процесс регионализации – оформления социокультурной уникальности регионов и городов. Переход России от тоталитарного к демократическому обществе ...

Понятие «игра»
В современной педагогической литературе определений понятию «игра» дается много. Так, например, П.И. Пидкасистый и Ж.С. Хайдаров дают следующее определение: «Игра есть то, что задумано и сделано; то, что есть, что думает и о чем думает субъект, когда он действительно увлечен этой деятельностью с не ...