Cтраница 1
Атомарные формулы, содержащие не более одного сигнатурного символа, называются атомными. [1]
Атомарная формула в логике высказываний рассматривается как единое целое, ее структура не анализируется. Вместе с тем есть много разновидностей знаний, которые не могут быть выражены таким простым способом. [2]
Атомарная формула считается формулой. [3]
Атомарные формулы языка Ап ( 7) имеют вид ( t - г), где t и г - числовые термы. Разумеется, здесь является формальным знаком языка Ап ( С7) и его следует отличать от употребления равенства в тексте для содержательного сообщения о совпадении объектов. При этом кванторы V и 3 употребляются как по числовым переменным, так и по переменным для функций всех имеющихся сортов. [4]
Гт атомарная формула может встречаться не более одного раза. Универсальное предложение называется хорновским, если его бескванторная часть является хорновской. & ФШ) - Фт ь где все формулы Ф атомарны. Наконец, тождеством называется универсальное предложение, бескванторная часть которого имеет вид f g, где / и g - слова. [5]
Из атомарных формул с помощью пропозициональных связок и кванторов конструируются формулы языка. & или л ( конъюнкция, и), V ( дизъюнкция, неразделительное или), - v или ZD ( импликация, влечет, если... Соответственно неэлементарные формулы этих исчислений имеют вид ( фЛф), ( ф / ф), ( ф1Э1 э), - Ф1 V-гф, Эжф. [6]
Параметрами атомарной формулы являются параметры всех входящих в нее термов. [7]
Глубина атомарных формул равна нулю. [8]
Для атомарных формул оно очевидно; для логических операций индукция также проходит автоматически. [9]
Посмотрим на атомарные формулы, входящие в формулу В. [10]
Литерой называется атомарная формула или ее отрицание, две литеры называются козначными, если они обе одновременно являются либо атомарными формулами, либо отрицаниями атомарных формул. [11]
F содержит атомарную формулу Pziv, пусть PI есть новый бинарный предикатный символ. [12]
О называется атомарной формулой, или атомом. [13]
Если независимо определить атомарные формулы и их отрицания и включить формулы А & - iA в теорию Т, то формулы можно представить как хорновы дизъюнкты, а теорию У как программу в логическом программировании. [14]
Формулы строятся из атомарных формул с помощью обычных связок П, - &, V и кванторов VH, Эй, VJT, ЭАТ по числовым и предикатным переменным. [15]