Автор неизвестен - Информация, язык, интеллект - страница 26

Страницы:
1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77  78  79  80  81  82  83  84  85  86  87  88  89  90  91  92  93  94  95  96  97  98  99  100  101  102  103  104  105  106  107  108  109  110  111  112  113  114  115  116  117  118  119  120  121  122 

= xek v yek = xek v(yek vek),

(0 v ek) v xek = ek v xek = xek = 0 v xek = 0 v (ek v xek),

(ek v 0) v xek = ek v xek = ek v (0 v xek), ( xek v ek ) v 0 = xek v 0 = xek = xek v ek = xek v (ek v 0), (0 v xek) v ek = xek vek = xek = 0 v xek = 0 v (xek v ek), (ek v xek) v 0 = xek v 0 = xek = ek v xek = ek v (xek v 0).

Осталось проверить два случая, когда в аксио­ме ассоциативности фигурируют элемент 0 и эле­менты вида x , yek или элементы вида ek , x , yek , где x , y — любые ненулевые элементы множества

 

(0 v x) v yek = x v yek = (x v y)ek = 0 v (x v y )ek = = 0 v (x v yek),

(x v 0) v yek = x v yek = x v (0 v yek), (xek v 0) v y = xek v y = xek v (0 v y), (xek v y) v 0 = (x v y)ek = xek v y = xek v(x v 0),

(0 v xek) v y = xek v y = (x v y)ek = 0 v (x v y)ek =

= 0 v ( xek v y), (x v yek) v 0 = (x v y)ek v 0 = (x v y)ek = x v yek =

= 0 v (yek v 0), (x v ek) v yek = xek v yek = (x v y)ek = x v yek =

= xv (ek v yek), (ekv x) v yek = xekv yek =(x v y )ek = = ekv (x v y )ek = ekv (x v yekX

(x v yek) v ek = (x v y)ek v ek = (x v y)ek =

= xv yek = xv (yek v ek),

(xek v y) v ek = (x v y)ek v ek = (x v y)ek =

= xek v y = xek v(yvek),

(ek v xek) v y = xek v y = (x v y)ek =

Страницы:
1  2  3  4  5  6  7  8  9  10  11  12  13  14  15  16  17  18  19  20  21  22  23  24  25  26  27  28  29  30  31  32  33  34  35  36  37  38  39  40  41  42  43  44  45  46  47  48  49  50  51  52  53  54  55  56  57  58  59  60  61  62  63  64  65  66  67  68  69  70  71  72  73  74  75  76  77  78  79  80  81  82  83  84  85  86  87  88  89  90  91  92  93  94  95  96  97  98  99  100  101  102  103  104  105  106  107  108  109  110  111  112  113  114  115  116  117  118  119  120  121  122 


Похожие статьи

Автор неизвестен - 13 самых важных уроков библии

Автор неизвестен - Беседы на книгу бытие

Автор неизвестен - Беседы на шестоднев

Автор неизвестен - Богословие

Автор неизвестен - Божественность христа