Подробнее
{(а, Ь)|2(=^„(а, Ь)} = {((0, а, г). (Ь “> «. Л) I а б 6 & Л /б2}.' (Ш) {а, Ь)|О[=ф0(а, Ь)} = {((0, а, ¿), (1, а, 0, Л)|«б 0 &г, /б2}и и {((0, а, 0. (2. «, Р, о, Я)|«бРбв&*. /б2}и{((0, а, г), (2, р, а. 1, Л)1Рб“б0&Л /б2); («>){(а> Ь)1аН<Ма. Ь)} = {((0, а, 0. (1, а, 1, Л) I “ б © & Л /б 2} и {((0, в. Л-(2. «, Р, 1,Л)1«бРбв*<. / б 2}.’ (Л {(а> Ь, С, а) 12(=ф (а, Ь, с, а)} = {((0, а, ¿), (О, р, Л.(2, а, р, о, /с), (2, а, р, 1, г)) | а б Р б © & л Л Мб2};М{а|2И='У’(а)} = {(2.«>Р> 0, г) Iа б Р б 0 & * б 2},' (ри) {а|О|= ф1 (а)} = {(2, о, р, 1, ¿)1“бРб бв&^б2}; (шЛ {(а, Ь)|0|=Х(а, Ь)} = <((0, о, *), (О, Р, Л)I«бР б £0&£, ] б 2}; (¿ж) при всяком и£<о {(а, Ь) 1121= (а> Ь)} = = {((0, а, 0, (1. «. п, Л) Iя б 0 & Л / б 2}-__________ Доказательство тривиально и предоставляется читателю. Исследования Ответственные редакторы по теории множеств Д. А. БОЧВАР, В. Н. ГРИШИН и неклассическим логикам Утверждено к печати ВИНИТИ АН СССР
математика,наука,книги,доказательство,тривиально,очевидность
Еще на тему
Отличный комментарий!