Предваренная Формула
- формула узкого исчисления предикатов (УИП), имеющая вид где Qi обозначает квантор всеобщности или квантор существования $, переменные х i, xj различны при и Y - формула, не содержащая кванторов. П. Ф. Наз. Также предваренными нормальными формами или пренексными формами. Для всякой формулы ф языка УИП можно найти П. Ф., логически эквивалентную в классич. Исчислении предикатов формуле ф. Процесс нахождения П. Ф. Основан на следующих эквивалентностях, выводимых в классич. УИП. где х' - любая переменная, не входящая свободно в формулы j(x), Y, и j(x') получается из j(х). Заменой всех свободных вхождений хна х';переменная у не входит свободно в . Чтобы применять приведенные эквивалентности, надо предварительно выразить логич.
Связки через и . Затем, применяя эти эквивалентности, постепенно передвигать все кванторы влево. Получающаяся в результате П. Ф. Наз. Предваренной формой данной формулы. Лит.:[1] Мендельсон Э., Введение в математическую логику, пер. С англ., М., 1971. В. Н. Гришин.
Дополнительный поиск Предваренная Формула
На нашем сайте Вы найдете значение "Предваренная Формула" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Предваренная Формула, различные варианты толкований, скрытый смысл.
Первая буква "П". Общая длина 20 символа