🗊Презентация Формулы алгебры высказываний

Лекция 2. Формулы алгебры высказываний.

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

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

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

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

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

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

Пример 2.4 Пример 2.4

Классификация формул АВ Формула называется выполнимой, если некоторая её конкретизация является истинным высказыванием, т.е. существуют такие, что . Формула называется тавтологией или тождественно истинной, если любая её конкретизация является истинным высказыванием, т.е. для любых . Формула называется опровержимой, если некоторая её конкретизация является ложным высказыванием, т.е. существуют такие, что . . Формула называется тождественно ложной или противоречием, если любая её конкретизация является ложным высказыванием, т.е. для любых . .