O‘zbekiston milliy universiteti m. ShAripov d. Fayzixo‘jayeva mantiq tarixi va nazariyasi falsafa yo‘nalishi talabalari uchun Darslik Toshkent

Mulohazalar mantig‘i va predikatlar mantig‘i.

Reja:

1.Qat’iy mulohazalardan nosillogistik xulosa chiqarish.

2.Mulohazalar mantig‘i haqida umumiy tushuncha.

3.Predikatlar mantig‘i haqida umumiy tushuncha.

Tayanch iboralar: kommutatsiya qonuni, kompozitsiya qonuni, tranzitivlik munosabati, mulohazalar mantig‘i, predikatlar mantig‘i.

Qat’iy mulohazalardan nosillogistik xulosa chiqarishda implikatsiya bilan bog‘liq qonunlar va munosabat mulohazalari bilan bog‘liq mantiqiy qonunlarga asoslaniladi. Bunda quyidagi simvollar qo‘llanadi: p,q,r – propozitsional o‘zgaruvchilar;  – kon’yunksiya belgisi; Ú – diz’yunksiya belgisi; → – implikatsiya belgisi; ↔” – ekvivalentlik belgisi.