Cтраница 2
Через Ihm A обозначим обогащение полугруппы IhmA одноместным предикатом, выделяющим идемпотенты IhmA, соответствующие одноэлементным подалгебрам алгебры А. [16]
Пусть и - формализованный язык первого порядка, содержащий единственный одноместный предикат р и не содержащий функторов. [17]
Поведение автомата может быть описано средствами языка логики одноместных предикатов. При этом выбор класса формул, задающих конечные автоматы, осуществляется различными способами. Описание может быть неполным, тогда оно определяет нек-рый класс автоматов, поведение к-рых идентично с точностью до этого описания. [18]
V F ( х) справедливо для всякого одноместного предиката F. [19]
Указать метод построения по любому предложению А с одноместными предикатами формулы В исчисления высказываний такой, что выполнимость формулы А эквивалентна выполнимости В. [20]
Наконец, пусть на каждой модели класса К определен одноместный предикат р (), истинный хотя бы для одного элемента модели. [21]
Обратим внимание на то, что с помощью кванторов исходный одноместный предикат преобразуется в высказывание. [22]
Разумеется, предлагаемое геометрическое построение логики высказываний и логики одноместных предикатов эквивалентно обычному. Ценность и преимущество диаграмм состоит в их наглядности. Наглядность может оказаться существенным подспорьем при решении задач и доказательстве теорем, во всяком случае пренебрегать ею вряд ли стоит. Кроме того, аппарат диаграмм допускает обобщения, важные, например, при описании функционирования нейронных сетей и построении надежных систем из относительно мало надежных элементов. [23]
Синтез логических сетей, операторы которых описаны средствами исчисления одноместных предикатов. [24]
Для доказательства достаточности заметим, что соответствие между конъюнкциями одноместных предикатов от различных переменных и прямыми произведениями подмножеств предметной области взаимно однозначно. Объединению прямых произведений отвечает дизъюнкция конъюнкций. [25]
Синтез логических сетей, операторы которых описаны средствами исчисления одноместных предикатов. [26]
Покажем, что все четыре полученных выражения являются записями различных одноместных предикатов. [27]
Отсюда следует, что никакой системой аксиом, содержащей лишь одноместные предикаты, нельзя охарактеризовать совокупность всех бесконечных областей, а значит, и всех конечных областей, так как одна аксиоматика получается из другой переходом - к дизъюнкции отрицаний аксиом. [28]
Исчисление монадических ( унарных) предикатов, в котором есть только одноместные предикаты ( и нет никаких функций), разрешимо. [29]
Вообще говоря, йота-оператор служит для образования описательных имен из одноместных предикатов. [30]