[уМ сатри. Инкор, конъюнкция, дизъюнкция, эквиваленция ва

кучлилик орасидаги ухш аш ликни келтирдик. Э нди эса улар 
орасидаги ф ар к н и курсатам из. М аълум ки, алгебрада хеч 
кандай алмаш тириш ёрдам ида тенгликни амаллар (куш иш , 
айириш , дараж ага кутариш , булиш ва хоказо) билан алм аш - 
тириб булм айди. М антик алгебрасида эса эквивалентликни 
импликация (-> ) ёки конъю нкция (л ), дизъю нк ция (v ) ва 
инкор ( - ) амаллари оркали ифодалаш мумкинлигини би з ю ко- 
рида курсатган эдик (1- § даги (1) формулага каранг). (1) ф ор - 
муланинг тугрилигини чинлик жадвали оркали курсатамиз:
X
У
х —>у
у ^ х
х<г^у
( х - > у ) л ( у - > х )
ч
ч
ч
ч
ч
ч
ё
ч
ч
ё
ё
ё
ч
ё
ё
ч
ё
ё
ё
ё
ч
ч
ч
ч
www.ziyouz.com kutubxonasi

---

Ж адвалдан куринадики, охирги икки устунни нг чинлик 
киймати устма-уст тушади. Ш у билан (1) формула исботланди.
О ддий алгебрада тенглик белгиси «=» куйидаги ак си о- 
м аларни к,аноатлантиради: 1) ихтиёрий а сон учун а = а 
(реф лексивлик); 2) агар а = b булса, у холда Ь = а (си м м ет- 
риклик); 3) агар а = b, b = с булса, у холда а = с (тран зи ­
та вл и к) булади.
Ш унга ухш аш , мулохазалар алгебрасида, эквивалентлик 
таъриф идан осон л и к билан куриш мум кинки, у реф лексив, 
сим м етрик ва транзитив, яъни:
1) ихтиёрий х мулохаза учун х = х;