Cтраница 2
Пусть 0 есть подформула формулы из ( 3), следующая непосредственно за кванторами по подмножествам. [16]
Если все вхождения подформулы Ч1 в формуле Ф заменить на формулу X, то получим новую формулу, которую обозначим через ( Ф) х - Такое определение корректно, так как из предложения 2 следует, что два различных вхождения подформулы Ч 1 в Ф не имеют общих вхождений символов алфавита ИВ. [17]
Сходным образом определяется понятие подформулы, если S5 является языком первого порядка. [18]
Заменяя в формуле X подформулу Z независимой переменной z, получаем формулу У с такими же оценками на размер. [19]
Вычисляют ток / через гальванометр подформуле ( 5); значение Сг указано на приборе. [20]
Проверяем по табл. 32 и подформуле ( 34) - допустимо. [21]
Применяя ( 1а) к подформуле ( Еу) F ( х, у) формулы (1.196) и учитывая, что А экв. [22]
Рассмотрим теперь, для определенности, подформулу с квантором существования. [23]
Если в заданной f - формуле имеются подформулы, являющиеся сами - формулами ( илит-формулами для некоторой переменной т), то их целесообразно выделить и подвергнуть самостоятельной переработке. Следующий пример поясняет эту ситуацию. [24]
Например, формула X AND Y - подформула формулы а X AND Y OR Z, а формула Y OR Z - нет, поскольку не является конъюнкцией. [25]
Предположим, что - - F - подформула формулы Ф и что диаграмма [ F ] построена. [26]
11II И V Пусть а содержит г подформул. [27]
В § 30 было введено расширенное понятие подформулы формулы Ф, Такие подформулы здесь будем называть обобщенными подформулами, чтобы отличать их от подформул. [28]
Заметим, что если формула содержит п различных атомарных подформул, то она имеет 2П возможных интерпретаций. [29]
Переменная х имеет свободное вхождение во вторую дизъюнктивную подформулу. [30]