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

Страницы:
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 

Рассматриваем случаи, когда в условии ассоци­ативности присутствуют нулевые элементы вида

 

(0 v 0) v xek = 0 v xek = 0 v (0 v xek), (0 v xek) v 0 = xek v 0 = xek = 0 v xek = 0 v (xek v 0) л л(xek v 0) v 0 = xek v 0 = xek(0 v 0),

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

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

(xek v yek) v zyk = (x v y)ek v zek = ((x v y) v z)ek = = xek v (y v z)ek = xek v (yek v zek).

Проверяем ассоциативность при наличии нену­левых элементов множества Sk_1 и элементов вида

xek:

(x v y) v zek = ((x v y) v z)ek = (x v (y v z))ek = x v (y v z)ek = x v (y v z.ek),

(x v yek) v z = (x v y)ek v z = (x v (y v z))ek = = xv(yvz)ek = xv(yek vz),

(xek v y) v z = (x v y)ek v z = (x v (y v z)H = = (x v (y v zЖ = xek v (y v z),

(x v yek) v zek = (x v y)ek v zek = ((x v y) v z)ek = = (x v(y v zЖ = x v(yek v zek),

(xek v y) v zek = (x v y) v zek = (x v y)ek v zek = ((x v y) v z)ek = (x v (y v zЖ = xek v (y v zК =

= xek v( y v zek),

(xek v yek) v z = (x v y)ek v z = (x v (y v z))ek = (x v (y v zЖ = xek v (y v z)ek = xek v (yek v z).Рассматриваем случай, когда в условии ассоци­ативности присутствуют элементы вида xek , а так­же элементы ek и 0:

(ek v ek) v zek = ek v xek = ek v (ek v xekX (ek v xek) v ek = xek = ek v xek = ek v (xek v ekX (xek v ek) v ek = xek vek = xek v (ek v ekX (ek v xek) v yek = xek v yek = (x v y)ek = = ek v (xek v yek), (xek vek) vyek = xek v yek = xek v (ek v yek), (xek v yek) v ek = (x v yК v ek = (x v yК =

Страницы:
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 самых важных уроков библии

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

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

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

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