Teoremaning tuzilishi va turlari. Matematik isbotlash usullari. To‘g‘ri va noto‘g‘ri muhokamalar

19- amaliy mashg`ulot. Mulohazalarning kon'yunktsiya va diz'yunktsiya.

Reja:

1. Fikr (mulohaza).

2. Fikrning inkori.

3.Kon'yunktsiya va diz'yunktsiya.

Kon'yunktsiya amalining hossalari 

A^B= В^А(kommutаtiv);

(A^B) ^C=А ^(B ^C)=A ^B ^C (аssotsiаtiv)

A ^J≡J (J  mutloq yolg’on)

A ^А=А

A ^R=A (R aynan rost)

Diz'yunktsiya amalining hossalari 

1. AvB= ВvА(kommutаtiv);

2.  (AvB) vC=А v(B vC)=A vB vC (аssotsiаtiv)

3. A vA≡A

4. A vR= R    (R aynan rost)

5. A ^ (B vC)=( A ^B) v (A^C )- konyunktsiyaning dizyunktsiyaga nisbatan distributivlik qonuni

 6. A v(B^C)=( AvB) ^(AvC)– dizyunktsiyaning konyunktsiyaga nisbatan distributivlik qonuni

7. Dе – Morgan qonunni

8. AvJ=A     (J  bu mutloq yolg’on)