Матлог / Matematicheskaya_logika

Кванторы общности и существования, их действие на предикат

Для предикатов определяются новые операции – операции квантификации, т.е. операции кванторами общности и существования.

Свободные и связанные переменные

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

(Если прошлый вопрос был в билете, то алфавит алгебры предикатов не нужен, нужно только то, что после, т.е. формулы)

Интерпретация формул алгебры предикатов

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

Любая тавтология алгебры высказываний является тавтологией алгебры предикатов.

Следствие: Любая формула представляется в виде = (K1X1),…,(KnXn) , где K1,…,Kn некоторые кванторы и – формула без кванторов, которая называется ПНФ – предваренная нормальная форма.

Логическая равносильность формул алгебры предикатов

Свойства логических операций над предикатами

Логическое следование формул алгебры предикатов