Cтраница 1
Хорновские формулы строятся из базисных хорновских формул с помощью связок л, 3 и V. [1]
Примерами хорновских формул являются тождества и квазитождества. Центральной в теории ультрапроизведений является теорема Л ос я ( J. Формула языка 1 - й ступени условно фильтруется по любому фильтру тогда и только тогда, когда эта формула эквивалентна хорновской формуле. Имеет место теорема ( см. [9]): алгебраич. [2]
Мы говорим, что базисная хорновская формула ф G. [3]
Хорновские формулы строятся из базисных хорновских формул с помощью связок л, 3 и V. [4]
Хорна; хорновское выражение; хорновская формула. [5]
Это доказывает ( i) для базисных хорновских формул. Мы оставляем шаг индукции для срх л ф2, ( Эх) ф и ( Уж) ф читателю. [6]
PROLOG) основан на использовании логических конструкций типа хорновских формул. [7]
Последняя обладает рядом свойств арифметики натуральных чисел, в частности в ней выполнены все универсальные хорновские формулы, элементарные подформулы к-рых представляют собой равенство так наз. Примером такой формулы является закон сокращения: X Z - Y Z XY. [8]
Вп - условия, которые должны - выполняться одновременно. Хорновская формула является частным случаем этого обобщенного предложения, для нее характерно наличие только одного вывода. [9]
Назовем формулу хорноеской, если она получается из формул вида - 1 Д ( А В), В, где А - конъюнкция атомных формул, а В - атомная формула, при помощи операций конъюнкции и навешивания кванторов. Доказать, что хорновские формулы условно фильтруются по любому фильтру. [10]
Примерами хорновских формул являются тождества и квазитождества. Центральной в теории ультрапроизведений является теорема Л ос я ( J. Формула языка 1 - й ступени условно фильтруется по любому фильтру тогда и только тогда, когда эта формула эквивалентна хорновской формуле. Имеет место теорема ( см. [9]): алгебраич. [11]
Чжан поставили задачу о нахождении необходимых и достаточных условий для того, чтобы некоторая формула была эквивалентна формуле хорновского вида. Линдо-ном [21] одновременно была высказана гипотеза о том, что мультипликативна замкнутые формулы сколемского вида эквивалентны аксиомам хорновского вида. Линдон утверждал, что мультипликативно замкнутые 3-фор-мулы эквивалентны хорновским формулам. В 1959 - 1960 гг. А. Д. Тай-манов [71] нашел необходимые и достаточные условия для эквивалентности формулы формуле хорновского вида, решив тем самым проблему А. [12]
Вп - условия, которые должны - выполняться одновременно. Хорновская формула является частным случаем этого обобщенного предложения, для нее характерно наличие только одного вывода. Большая часть формальных конструкций языков программирования ЭВМ скорее напоминает хорновские формулы, чем предложения более общего вида. [13]