Mulohaza. Mulohazalar ustida mantiqiy amallar. Formulalar. TENG KUCHLI Formulalar. Aynan chin, aynan yolg’on va bajariluvchi formulalar

4. Implikatsiya amali. Navbatdagi amalni o‘rganish maqsadida quyidagi misolni qarab chiqamiz.

6- misol. Quyidagi mulohazalarni ko‘raylik:

1) “Agar 25=10 bo‘lsa, u holda 67=42 bo‘ladi.”;

2) “Agar 30 soni 5 ga qoldiqsiz bo‘linsa, u holda 5 juft son bo‘ladi.”;

3) “Agar 3=5 bo‘lsa, u holda 15+2=17 bo‘ladi.”;

4) “Agar 43=13 bo‘lsa, u holda 9+3=13 bo‘ladi.”.

Bular murakkab mulohazalar bo‘lib, ularning har biri ikkita elementar mulohazadan “agar ... bo‘lsa, u holda ... bo‘ladi” ko‘rinishdagi qolip (andoza, bog‘lovchilar) asosida tuzilgan. ■