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

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

2.

3.

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

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

5.

6.

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

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

8.

9.

10.

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

11.

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

12.

13.

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

14.

15.

16.

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

17.

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