Predikat tushunchasi. Predikatlar ustida mantiqiy amallar. Predikatlar mantiqi formulasining normal shakli

Ushbu kitob predikatlar mantiqi asoslariga bag'ishlangan. Unda predikat tushunchasi, predikatlar ustida bajariladigan mantiqiy amallar, predikatlar mantiqi formulasining normal shakli kabi masalalar ko'rib chiqilgan. Kitobda predikatlar mantiqining asosiy teoremalari va ularni normal shaklga keltirish usullari tushuntirilgan.

Asosiy mavzular

Predikat tushunchasi: Predikatlar mantiqining asosiy elementi bo'lib, subyekt va predikat qismlaridan tashkil topadi. Predikat subyekt haqida ma'lum bir tasdiqni ifodalaydi. Predikatning aniqlanish sohasi va chinlik to'plami tushunchalari kiritiladi.
Predikatlar ustida mantiqiy amallar: Predikatlar ustida kon'yunksiya, diz'yunksiya, inkor va implikatsiya kabi mantiqiy amallarni bajarish mumkin. Bu amallar mulohazalar mantiqidagi amallarga o'xshash bo'lib, predikatlarning chinlik qiymatlariga asoslanadi.
Predikatlar mantiqi formulasining normal shakli: Predikatlar mantiqi formulasining normal shakli - bu formulaning inkor, kon'yunksiya, diz'yunksiya va kvantorlar yordamida ifodalangan shakli. Formulani normal shaklga keltirish mantiqiy masalalarni yechishda muhim ahamiyatga ega.