2-теореманинг айрим тенгликлари адабиётда махсус номга эгадир. Масалан,10 ва 10 тенгликлар идемпотентлик қонуни дейилади,12 ва 12-ютиш қонуни,13 ва 13-де Морган қонуни деб аталади.
Тўпламлар алгебрасида бирор тенгликдан шу тенгликка кирган ни га, ни га,  ни га, ни га бирданига алмаштириш натижасида ҳосил этилган иккинчи тенгликни биринчи тенгликка ва, аксинча, биринчи тенглик иккинчи тенгликка нисбатан иккитарафлама тенглик деб айтилади.
3-теорема. Исталган  ва  тўпламлар учун қуйидаги мулоҳазалар жуфт-жуфт эквивалентдир:
(I)  ; (II)  ; (III)  . (1)
 мулоҳазалар жуфт-жуфт эквивалентдир деган тасдиқ қуйидагини билдиради: исталган  ва  учун  га эквивалентдир. Бу мулоҳаза ўз навбатида фақатгина  нинг,  нинг, ....,  нинг тўғрилигини келтириб чиқаргандагина тўғридир.
Do'stlaringiz bilan baham: |
