Ученые записки математических кафедр вып. 1970 г.

I - а з а - ... Окх к ^ V,* £ У7\ * с о /\ П ~ 3аНеТИТЬ' . ЧТ° # ^ получается из 0 » опусканиеи ' ' ’ з » всаду в У на г«г , где и Г ^ Ш . Т о т факт, что Ф истинна „а М И ) по определенна истинности фор­ мулы на М И ) означает, что 0 ' истинна на VI/'(И). Обратно, пусть 0 * ^истинна „а Наймется ^ в такое, что Ф , истинна на , где 0 , ' и 0 , получается из Ф (соответственно из Ф ) опусканиеи а д И заменой всюду в У* (соответственно У ) * на ^ (соответственно I „а £ ) . По индуктивному предположение 0 , истинна на группе (Г , а это и означает; что 0 ЙСТИ„ „ а на группе Сг : Ф л ' " М " И 8 М С • 8 » = »™ л « „ в с л „ „ * ГР ,” “ е ^ * " » « Р В Д е ; п о - лучаек « и- 0 »П о определение истинности формулы 0 на группе £ истинна 0 , , по индуктивному предположение У истинна на М У /О я т « гм" „1 ' 1 ' * а т .к ^ ш произвольное слово из ' " г ^ у , то это и означает, что 0 * истинна на ) % Совершенно аналогично доказывается обратное. <?. » « о и /Л Г 1 1 И ^ ’ н°Риапьные;.позитивные в классе Л={Ч ,М п о д г р у п п а групп £ у и - С * то я ( с , / н 4) - - Ж ^ / н , ) . . ДОКАЗАТЕЛЬСТВО. Пусть ф < [ 0.{ х , ,,, 0.^%^ У У/£с ? Д ^ = / - гДе Ыу 2 г М Р Щ , РУ*), - танам*'