---
Захаров. Основы математической логики и логического программирования.
http://mk.cs.msu.ru/images/f/f4/LectLog2.pdf
Лекция 2.
Классическая логика предикатов первого порядка
Синтаксис. Термы и формулы.
Семантика. Интерпретация.
Выполнимость формул.
Свободные и связанные переменные
Область действия квантора
Семантика — это свод правил, наделяющих значением
(смыслом) синтаксические конструкции языка.
В языке логики предикатов значением термов являются
функции, а значением формул — отношения (предикаты).
Значения термов и формул определяются на основе
алгебраических систем .
Алгебраические системы, используемые в таком качестве,
называются интерпретациями .
---