Amaliy mashg’ulot №10. Mavzu: Mantiqiy masalalarni yechishning graf, jadval, Eyler-Venn va algebraik usullari. Ishning maqsadi

Algebraik usullar yordamida mantiqiy misol yechish 

№4. Misol: "Jinoyatchi kim" 

Ikki mulohaza asosida jinoyat ishtirokchisini aniqlang: 

1) "Agar Ivanov ishtirok etmagan bo'lsa yoki Petrov ishtirok etgan bo'lsa, u holda 

Sidorov ishtirok etgan"; 

2) "Agar Ivanov ishtirok etmagan bo'lsa, u holda Sidorov ishtirok etmagan". 

Ushbu  oddiy  muammoning  yechimini  rostlik  jadvali  va  algebraik  qonunlardan 

foydalanib ko’rib chiqamiz. 

1 usul. Keling, mulohazalar tuzamiz: 

---

I - "Ivanov jinoyatda qatnashgan"; 

P - "Petrov jinoyatda qatnashgan"; 

S - "Sidorov jinoyatda qatnashgan" 

Mulohazalarni formulalar shaklida yozamiz: 

˥I˅P → S va ˥I → ˥S 

 

 

Jadvalda Ivanov jinoyat sodir etganligi ko'rsatilgan 

2-usul 

Mantiq algebra qonunlaridan foydalangan holda bir xil o'zgartirish masalasini hal 

qilish uchun murojaat qilaylik: 

(˥I˅P→S)&(˥I→˥S)=(˥(˥I˅P)˅S)&(I˅˥S)=(I&˥P˅S)&(I˅˥S)=I&˥P˅I&S˅I&˥P&˥S˅0= 

=I&˥P˅I&S=

I&(˥P˅S) 

So'nggi iboradan, agar I = 1 bo'lsa, bu jinoyatchi Ivanov ekanligi aniq.