Матлог / Matematicheskaya_logika-1
.pdfКванторы общности и существования, их действие на предикат
Для предикатов определяются новые операции – операции квантификации, т.е. операции кванторами общности и существования.
Свободные и связанные переменные
Формулы алгебры предикатов
(Если прошлый вопрос был в билете, то алфавит алгебры предикатов не нужен, нужно только то, что после, т.е. формулы)
Интерпретация формул алгебры предикатов
Тавтологии алгебры предикатов
Любая тавтология алгебры высказываний является тавтологией алгебры предикатов.
Следствие: Любая формула представляется в виде = (K1X1),…,(KnXn) , где K1,…,Kn некоторые кванторы и – формула без кванторов, которая называется ПНФ – предваренная нормальная форма.
Логическая равносильность формул алгебры предикатов
Свойства логических операций над предикатами
Логическое следование формул алгебры предикатов