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

Сентябрь 5, 2022

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

Содержание

4. Формулы логики предикатов Алфавит логики предикатов
7. Интерпретация формул Интерпретация – получение высказывания из формулы логики предикатов Если формула замкнутая, то интерпретация состоит
10. Тавтологии алгебры предикатов
11. ТЗ: доказать б)
13. ТЗ Доказать б),в),г)
16. ТЗ: доказать для второго случая
18. Скачать презентацию

Слайд 2

Слайд 3

Слайд 4

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

Слайд 5

Слайд 6

Слайд 7

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

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

Слайд 8

Слайд 9

Слайд 10

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

Слайд 11

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

Слайд 12

Слайд 13

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

Слайд 14

Слайд 15

Слайд 16

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