Sheffer amali (shtrixi)

Ushbu taqdimot Sheffer amali (shtrixi) tushunchasiga bag'ishlangan. Unda mantiqiy amallardan biri sifatida Sheffer amali ta'rifi, uning chinlik jadvali, hamda turli mantiqiy amallarning chinlik jadvallari keltirilgan. Taqdimotning oxirida berilgan formulalarni chinlik jadvali orqali isbotlash bo'yicha amaliy mashqlar berilgan, shuningdek, foydalanilgan adabiyotlar ro'yxati taqdim etilgan.

Asosiy mavzular

Sheffer amali ta'rifi: Sheffer amali mantiqiy amal bo'lib, u "|" belgi bilan ifodalanadi. Murakkab mulohaza "p | q" "Sheffer shtrixi" deb o'qiladi. p va q mulohazalar chin bo'lganda yolg'on, qolgan hollarda chin qiymatga ega.
Chinlik jadvallari: Taqdimotda Sheffer amali uchun chinlik jadvali keltirilgan. Shuningdek, inkor, kon'yunksiya, diz'yunksiya, implikasiya va ekvivalentlik amallarining asosiy chinlik jadvallari ham berilgan.
Amaliy mashqlar: Taqdimotda berilgan formulalarni chinlik jadvali yordamida isbotlash bo'yicha amaliy mashqlar keltirilgan. Bu mashqlar talabalarning mantiqiy amallar bilan ishlash ko'nikmalarini rivojlantirishga qaratilgan.