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

Слайд 4

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

Алфавит логики предикатов

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

Слайд 7

Интерпретация формул

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

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

Слайд 10

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

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

Слайд 11

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

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

Слайд 13

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

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

Слайд 16

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

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