Aristotel shakllari (A, E, I, O) – Aristotel mantig‘ida ko‘rib chiqilgan mulohazaning to‘rtta turi - A shakli (umumiy tasdiq) : Barcha P – Q; E shakli (umumiy inkor) : Hech bir P – Q emas; I shakli (juz’iy tasdiq) : Ba’zi Ba’zi P – Q; O shakli (juz’iy inkor) : Ba’zi P – Q emas.
Mantiqiy bog‘lanish – mantiqiy bog‘lanishlar birlashmasi(∧), masalan, diz’yunksiya(∧) va inkor(¬) oddiy mulohazalardan murakkab mulohazalarni qurishga imkon beradi. Ular Jorj Bul mantig‘idan keyin Bul bog‘lovchilari sifatida ma’lum. Ingliz tilidagi kon’yunksiya so‘ziga o‘zbek tilida “va”, diz’yunksiyaga-“yoki”, inkorga-“emas” to‘g‘ri keladi.
To‘lalik – agar formal sistema qoidalari yordamida uning har bir xulosasi o‘z isbotini topgan bo‘lsa, u sistema tugal, to‘la hisoblanadi.
Xulosa – xulosa chiqarish tarkibida boshqa mulohazalar (asoslar) mantiqan kelib chiqadigan mulohaza
Do'stlaringiz bilan baham: |
