Формулы алгебры высказываний - презентация, доклад, проект скачать

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Формулы алгебры высказываний. Доклад-сообщение содержит 11 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

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

Слайд 2

Описание слайда:

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

Слайд 3

Описание слайда:

Слайд 4

Описание слайда:

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

Слайд 5

Описание слайда:

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

Слайд 6

Описание слайда:

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

Слайд 7

Описание слайда:

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

Слайд 8

Описание слайда:

Слайд 9

Описание слайда:

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

Слайд 10

Описание слайда:

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

Слайд 11

Описание слайда:

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