Mavzu formulalarning normal shakllari. Mukammal kon’yunktiv va diz’yunktiv normal shakllar

3- misol. Ushbu formula tarkibida uchta kortej bo‘lgan chinlik to‘plamiga egadir. ■

Agar qandaydir formula chinlik to‘plamiga ega bo‘lsa, u holda “ formula to‘plamda chin qiymat qabul qiladi” (yoki, qisqacha, “ formula to‘plamda chin”) deb ham yuritiladi. Shunga o‘xshash, “ formula to‘plamda yolg‘on” deyish mumkin, bu yerda , ya’ni to‘plamning to‘ldiruvchisi. Agar formula to‘plamda chin bo‘lsa, u holda formula to‘plamda chin, to‘plamda esa yolg‘on bo‘ladi. Xuddi shu kabi, aynan chin formula universal to‘plamda chin va to‘plamda yolg‘on qiymat qabul qiladi. Aynan yolg‘on formula esa, aksincha, to‘plamda chin va to‘plamda yolg‘ondir.

Formulalar bilan chinlik to‘plamlari orasidagi yuqorida ifodalangan bog‘lanish mulohazalar mantiqiga oid masalani to‘plamlar nazariyasi masalasiga va, aksincha, to‘plamlar nazariyasidagi masalani mulohazalar mantiqiga doir masalaga ko‘chirish imkoniyatini beradi.