Binar operatsiyalarining ba’zi elementlari. Neytral element

Teorema. Agar to‘plamda berilgan * algebraik operatsiya assotsiativ hamda to‘plamning ixtiyoriy b va c elementlari  va  simmetrik elementga ega bo‘lsa, ()= tenglik o‘rinli bo‘ladi.

Teoremaning isboti talabalarga havola qilinadi.

Teoremaga asosan, b=5; c=7 bo‘lsa, (5+7)=12; =-12; ((5+7)=-12) ̃; 5 ̃+7 ̃=-5+(-7)=-12 tenglik bajariladi.

2. 
   Qoldiqli boʻlish.
   

2 – topshiriq. Test
1. Rost yoki yolg’onligini bildirgan gaplar …deyiladi.

A) *Mulohaza

B) Kvantor

C) Predikat

D) Teorema

2. Ekvivalent mulohaza bu…mulohaza

A) Rost

B) Yolg’on

C) Rost bo’lganda yolg’on

D) *Bir vaqtda rost yoki yolg’on

3. Rost bo’lganda yolg’on, yolg’on bo’lganda rost bo’lgan mulohaza

A) *Inkor

B) Dizyuntsiya

C) Konyunktsiya

D) Ekvivalentsiya

4. Rost bo’lganda rost,qolgan hollarda yolg’on bo’ladigan mulohaza

A) Dizyuntsiya

B) Inkor

C) *Konyunktsiya

D) Ekvivalentsiya

5. Hech bo’lmaganda bittasi rost bo’lganda rost,qolgan hollarda yolg’on bo’ladigan mulohaza

A) Konyunktsiya

B) Inkor

C) Ekvivalentsiya

D) *Dizyuntsiya

6. A rost B yolg’on bo’lganda yolg’on,qolgan hollarda rost bo’ladigan mulohaza

A) *Implikatsiya

B) Dizyuntsiya

C) Konyunktsiya

D) Ekvivalentsiya

7. A va B mulohazalar qiymatlari bir xil bo’lganda rost bo’lgan mulohaza

A) *Ekvivalentsiya

B) Dizyuntsiya

C) Implikatsiya

D) Konyunktsiya

8. Predikat konyunktsiyasi …...

_A)

B) *

C)

D)

9. Predikat dizyunktsiyasi …...

A)

_B)

C) *

D)

10. Predikat ekvivalentsiyasi, implikatsiyasi…...

A) *,

B) ,

C) ,

D) ,