Ishning maqsadi: Tizimlarning asosiy tushuncha va ta’riflarini o’rganish

Natija: x Q(x) → R(x)


6. Masalaning berilishi:
Ixtiyoriy jinoyatchi jinoyat qilgan bo’lsa va haq huquqni bilmasa u holda advakat yo’llash huquqiga ega.


- ixtiyoriy
x - jinoyatchi
P(x) - jinoyat qilsa bo’lsa
Va –(˄)
Q(x)-haq huquqini bilmasa
u holda –(→)
R(x) - advokat yo’llash huquqiga ega.
Natija: x (P(x) ˄ Q(x)) → R(x)


7. Masalaning berilishi:
Har qanday talaba kechikib kelish huquqiga ega emas.
–har qanday
x- talaba
Q(x) -kechikib kelish huquqiga ega emas
Natija: xQ(x).
8. Masalaning berilishi:
Barcha juft sonlar 2 ga bo’linadi.
– barcha
y- juft sonlar
R(y)-2 ga bo’linadi
Natija: yR(y)
9.Masalaning berilishi:
Ba’zi toq sonlar 3 ga bo’linadi
–ba’zi
z – toq son
P(z) – 3 ga bo’linadi
Natija: zP(z)


1-Laboratoriya ishi bo’yicha masalalar.

1. 
   Quyidagi mulohazani mantiqiy formula ko’rinishida tasvirlang.
   

Voyaga yetgan shaxslarning mehnatga layoqatsiz va moddiy yordamga muhtoj bolgan ota-onani yoki ularning o’rnini bosuvchi shaxslarni moddiy ta’minlashda bo’yin tovlashi, ya’ni ularni moddiy jihatdan ta’minlash uchun sudning hal qiluvchi qaroriga binoan undirilishi lozim bo’lgan mablag’ni jami bo’lib uch oydan ortiq muddat mobaynida to’lamasligi, - eng kam oylik ish haqining ellik baravarigacha miqdorda jarima yoki uch yilgacha axloq tuzatish ishlari yoxud olti oygacha qamoq bilan jazolanadi.

2. 
   Quyidagi mulohazani mantiqiy formula ko’rinishida tasvirlang.
   

O’ldirish yoki zo’rlik bilan qo’rqitish sodir etilsa, u holda eng kam oylik ish haqining yigirma besh baravarigacha miqdorda jarima yoki bir yilgacha axloq tuzatish ishlari yohud olti oygacha qamoq bilan jazolanadi.
O’sha harakatlar: uyushgan guruh manfaatlarini ko’zlab sodir etilgan bo’lsa, - eng kam oylik ishhaqining yigirma besh baravaridan ellik baravarigacha miqdorda jarima yoki bir yildan ikki yilgacha axloq tuzatish ishlari yoxud bir yilgacha ozodlikdan maxrum qilish bilan jazolanadi.

3.