Трёхполярная лока 2

Если взять две трёхполярных локи, то законы отношений таких лок будут: а) (А)*(В) = 0, (В)*(В) = А, (А)*(А) = В; б) (С)*(D) = E, (C)*(C) = D, (D)*(D) = C.

Теорема 24. В трёхполярной суперпозиционной локе 2 законы отношений будут:

а) (А)*(B) = (C)*(D);

b) (A)*(B)*(C)*(D) = 0; причём нельзя поставить в соответствие двум объектам третий.

Доказательство.

1. По условию (А)*(B) = (C)*(D). Из этого же условия (A)*(B)*(C)*(D) = 0.

2. В отношении (А)*(D) = (C)*(В) придём к противоречию;

3. Если (А)*(D) поставим в соответствие любой объект, то получим противоречие.