Mantiq Bajardi: Musajonov Boqijonn bet-90 reja

05

Taklif mantig'i mantiqiy bog'lovchilar yordamida atomik takliflardan formulalar qurilgan rasmiy tizimlarni o'z ichiga oladi. Masalan, taklif mantiqi ikki atomik taklifning birikmasini ifodalaydi

{\displaystyle P}P va {\displaystyle Q}Q kompleks formulasi {\displaystyle P\&Q}{\displaystyle P\&Q}. Terminlar va predikatlar eng kichik birliklar bo'lgan predikat mantiqidan farqli o'laroq, taklif mantiqi o'zining eng asosiy komponenti sifatida haqiqat qiymatlari bilan to'liq takliflarni oladi.Shunday qilib, taklif mantiqlari oddiyroqlardan murakkab takliflar qurish usulidan kelib chiqadigan mantiqiy munosabatlarni ifodalashi mumkin; u taklifning ichki tuzilishidan kelib chiqadigan xulosalarni ifodalay olmaydi.

Klassik tizim