Логический квадрат. Формулы логики предикатов. Тавтологии логики предикатов. Лекция 10

Формулы логики предикатов
Алфавит логики предикатов

Интерпретация формул
Интерпретация – получение высказывания из формулы логики предикатов
Если формула замкнутая, то интерпретация состоит в подстановке конкретных предикатов
Если формула открытая, то сначала подставляют конкретные предикаты, затем подставляют вместо свободных переменных конкретные объекты

Тавтологии алгебры предикатов

ТЗ: доказать б)

ТЗ Доказать б),в),г)

ТЗ: доказать для второго случая