Логика предикатов. Лекция 8

Для чего нужна алгебра предикатов?

Основные понятия

ТЗ: привести примеры предикатов а,б),в) на множестве 1)людей
2)чисел

Равносильность и следование предикатов

ТЗ: доказать теоремы 18.6,18.7,18.8

Логические операции над предикатами

ТЗ: Сформулировать правила получения множества истинности для
Отрицания, конъюнкции и дизъюнкции предикатов

Кванторные операции над предикатами