Yetarli va zarur shartlar - S mulohazasini ifodalashning zarur sharti bu- S ni qurishga imkon beradigan shartdir. S → P dan ma’lum bo‘ladiki, P S ni hosil zarur sharti hisoblanadi. S ni ifodalash uchun yetarli shart bu - S ni hosil qilishni kafolatlaydigan shartdir. P → S dan ma’lum bo‘ladiki, P S uchun zarur shartdir.
Ziddiyatni isbotlash (bilvosita isbotlash) - ¬S dan kelib chiqib isbotlash. Buning uchun S zid fikrni isbotlaydi deb faraz qilamiz. Boshqacha aytganda, biz isbotlamoqchi bo‘lgan tezisning inkorini olamiz va uning ziddiyatga olib kelishini ko‘rsatamiz.
Refleksivlik – agar R ga munosabatda bo‘lganning barchasi o‘ziga taalluqli bo‘lsa, R binar munosabati refleksivdir, ya’ni R mavjud ∀x R (x, x) shartini qanoatlantiradi.
Tavtologiya – funksional strukturasiga ko‘ra mantiqan chin bo‘lgan mulohazadir. Bu chinlik jadvali yordamida tekshirib ko‘rilishi mumkin, chunki S uchun chinlik jadvalining har bir qatori faqat shundagina tavtologiya bo‘ladiki, qachon S asosiy birlashtiruvchi chiziq true ni o‘zlashtirib olsa.
Chinlik jadvali – chinlik jadvali funksional bog‘lamalar yordamida yaratilgan mulohazaning chinlik qiymatining mulohaza komponentlari (tarkibiy qismlari) chinlik qiymatlariga bog‘liqligini ko‘rsatadi.
Do'stlaringiz bilan baham: |
