Cтраница 4
И в этом легко убедиться путем прямой проверки. [46]
Полученные результаты совпадают с результатами прямой проверки заданных секвенций, которую в рассматриваемом случае нетрудно осуществить. Заметим, что, если бы, вопреки оговоренному выше условию, во второй секвенции обе связанные переменные были обозначены одной и той же буквой, мы пришли бы к неправильному заключению, признав эту секвенцию истинной. Полезно отметить также, что описанная процедура даже без предварительного приведения формул к минисферному виду пригодна для разрешения всех Л - секвенций, содержащих не более чем по одному положительному квантору. [47]
В обоих случаях не хватает прямой проверки отсутствия объемного продолжения. Сумма данных говорит об укрупнении молекулы, закрепленной на поверхности без выхода в объем, путем повторного наращивания звеньев, вероятно со стороны поверхности. [48]
Справедливость этого заключения легко установить прямой проверкой. [49]
Соотношения ( о) получаются прямой проверкой. [50]
Далее, в переключающем устройстве предусмотрена прямая проверка преобразователя контрольного рН - метра путем подачи на его вход, заранее установленного напряжения. В первом случае проверяется правильность градуировки, а во втором - высокоомность преобразователя. [51]
Доказательство этих утверждений состоит в их прямой проверке. [52]