Похожие презентации:
Логика предикатов. Лекция 8
1. Лекция 8. Логика предикатов.
2. Для чего нужна алгебра предикатов?
3. Основные понятия
4.
ТЗ: привести примеры предикатов а,б),в) на множестве 1)людей2)чисел
5.
6. Равносильность и следование предикатов
7.
ТЗ: доказать теоремы 18.6,18.7,18.88.
Логические операции над предикатами9.
10.
ТЗ: Сформулировать правила получения множества истинности дляОтрицания, конъюнкции и дизъюнкции предикатов