Подробнее
Лемма (б). (г) {а | О (= ср0 (а)} = {0} X 9 X 2; (и) при гг> 2 {(а, Ь) | 21== ф„(а, Ь)} = {((0, ос, г), (1, а, гг, /))|а£0&г, /£2}; (ш) {а, Ь) | 21= ф0 (а, Ь)} = {((0, а, г), (1, а, 0, /)) | а £ 0 &г, / £ 2} и и {((0, а, г), (2, а, р, 0, /)) | «6Р 6 в &*, /£ 2}и{((0, а, г), (2, Р, а» 1, /))|РбаЕв&*» /С2}; (¿у) {(а, Ь) | 2 [= фх(а, Ь)} = {((0, а, г)> (1, а, 1, /))|а£0&г, /£ 2}и {((0, а, ¿), (2, а, р, 1, /)) | а£ р £ 0 & г, / £ 2}; (у) {(а, Ь, с, <1) | 2|=ф (а, Ь, с, (1)} = {((0, а, г), (0, р, /), (2, а, р, 0, к), (2, а, р, 1, 0)1*бРев&*> и Мб2};(1;г){а|2|=ф0 (а)} = «2,а,р, О, 0 | а 6Р 6 0&г^2}; (ии) {а | Й [= ф1 (а)} = {(2, а, р, 1, ¿)1аЕ,86 £0&г£2}; (шг) {(а, Ь)|2[==Х(а, Ь)} = {((0, а, г), (0, р, /)) | а 0 р 0 £0&г, /6 2}; (гх) при всяком гг£со {(а, Ь)|2|=хя(а» Ь)} = _{((0, ос, г), (1, ос, гг, /))|ос£0&г, /£2}.__________- Доказательство тривиально и предоставляется читателю. Исследования Ответственные редакторы по теории множеств Д.А.БОЧВАР, В. Н. ГРИШИН и неклассическим логикам Утверждено к печати ВИНИТИ АН СССР
математика,наука,элементарно,боян,Баян,баян, боян, баяны, бояны, баянище, боянище,удалённое
Еще на тему
