Bu so’zlarningmazmuniga etibor bersak, xaqiqata xam, implikatsiy tarifiga ko’ra  rost bo’lganda  ning rostligidan  ning rostligi bevosita kelib chiqadi, yani bu vaziyatda ning rost bo’lishi zarur. Shuningdek, muloxaza rost bo’lishi uchun mulohazaning rost bo’lishi yetarlidir, negaki va lar rost bo’lganda, implikatsiya terifiga asosan B mulohaza yolg’on bo’la olmaydi.
Agar teorema tarkibida “zarur va yetarli” so’zlari qaynashsa, u xolda teoremani isbotlari zaruriy shartni va yetarli shartni isbotlashlardan tashlik topadi. Boshqacha qilib aytganda, to’g’ri va unga teskari teoremalarni alohida-alohida isbotlanadi, negaki ilgari ko’rib o’tganimizdek ulardan birining rostligidan, ikkinchisining rostligi xar doim xam kelib chiqavermaydi.
Bazi xollarda teoremalarda “zaruriy va yetarli” so’zlari o’rniga “shu holda va faqat shu xolda”, “shunda va faqat shunda”, “agar va faqat agar” so’zlarini xam ishlatiladi.
Do'stlaringiz bilan baham: |
