Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

101 25. Теорема о функциональной полноте (без доказательства). 26. Исчисление высказываний. Алфавит исчисления высказываний, определение формул, общезначимость, противоречивость, логическое следствие. 27. Определение дизъюнкта, резольвенты, пустого дизъюнкта. Теорема о резольвенте с доказательством. 28. Определение предиката. Кванторы, свободные и связанные переменные. Алфавит исчисления предикатов. Определение терма, атома и формулы. 29. Определение предваренной нормальной формы. 10 правил – преобразований для ПНФ (без доказательства). Алгоритм преобразования формул в предваренную нормальную форму. 30. Определение ССФ. Процедура преобразования формул в скулемовскую стандартную форму.