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

5. Ekvivalensiya amali. Matematik mantiqda ko‘pchilik murakkab mulohazalar berilgan elementar mulohazalardan “… zarur va yetarlidir”, “… zarur va kifoyadir”, “faqat va faqat …”, “shunda va faqat shundagina, qachonki …”, “... bajarilishi yetarli va zarurdir” kabi qolip (andoza, bog‘lovchilar) vositasida tuziladi.

6- ta’rif. Berilgan va elementar mulohazalarning ikkalasi ham bir xil qiymat qabul qilgandagina ch qiymat qabul qilib, ular turli qiymat qabul qilganda esa yo qiymat qabul qiluvchi murakkab mulohaza va mulohazalarning