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

Слайд 2

Простые высказывания: А2: «Уфа находится на берегу Волги» А3: «Все люди

Простые высказывания: А2: «Уфа находится на берегу Волги» А3: «Все люди смертны»

А7: «А.С.Пушкин – великий русский математик» Конструируем составное высказывание: «Если Уфа находится на берегу Волги и все люди смертны, то А.С. Пушкин – великий русский математик».
Слайд 3

- Формула конструирования сложного высказывания

- Формула конструирования сложного высказывания

Слайд 4

Формула АВ P,Q,R,S,X,Y,Z – пропозициональные переменные. Принимают значения из множества всех

Формула АВ

P,Q,R,S,X,Y,Z – пропозициональные переменные. Принимают значения из множества всех высказываний

.
Формула АВ или п.п.ф. (правильно построенная формула):
Слайд 5

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

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

Слайд 6

Выражения, не являющиеся формулами

Выражения, не являющиеся формулами

Слайд 7

Логическое значение составного высказывания

Логическое значение составного высказывания

Слайд 8

Доказать для остальных случаев (1 балл за случай)

Доказать для остальных случаев (1 балл за случай)

Слайд 9

Составление таблиц истинности Пример 2.3

Составление таблиц истинности

Пример 2.3

Слайд 10

Пример 2.4

Пример 2.4