Predikat tushunchasi. Predikatlar ustida mantiqiy amallar

Ushbu kitob predikatlar mantiqiga bag'ishlangan bo'lib, unda predikat tushunchasi, ularning turlari, predikatlar ustida mantiqiy amallar, hamda berilgan formulaning chinlik to'plamini tuzish masalalari ko'rib chiqiladi. Kitobda nazariy ma'lumotlar bilan birga misollar va masalalar keltirilgan.

Asosiy mavzular

• Predikat tushunchasi: Predikatlar mantiqi elementar mulohazani subyekt va predikat qismlarga bo'ladi. Subyekt mulohazada biror narsa haqida nimadir tasdiqlaydi, predikat esa subyektni tasdiqlashdir. Bir joyli va ko'p joyli predikatlar tushunchalari berilgan.
• Predikatlar ustida mantiqiy amallar: Predikatlar ustida mantiqiy amallar mulohazalar mantiqidagi amallarga o'xshash, chunki ular chin yoki yolg'on qiymat qabul qiladi. Kon'yunksiya, diz'yunksiya, inkor, implikatsiya amallari ko'rib chiqilgan.
• Berilgan formulaning chinlik to'plamini tuzish: Formulaning chinlik to'plamini topish uchun, formulaga kiruvchi predikatlarning chinlik to'plamlari aniqlanadi va mantiqiy amallar orqali yakuniy chinlik to'plami hisoblanadi. Misollar keltirilgan.