Teng kuchlimas formulalar soni Formulani qatorga yoyish Formulaning chinlik to‘plami

1- misol. Ikkita ( ) va elementar mulohazalarning formulasi aynan chindir (ushbu bobning 3- paragrafidagi 1- misolga qarang). Shuning uchun berilgan formulaning chinlik to‘plami elementli universal to‘plamdan iboratdir. ■
2- misol. Tarkibida uchta , va elementar mulohazalar qatnashgan
formula qiymatlar satrlarining faqat bittasida (aniqrog‘i, satrda) 1 qiymat, qolgan ettitasida esa 0 qiymat qabul qiladi. Shuning uchun, formulaning chinlik to‘plami , ya’ni bitta kortejdan tashkil topgan bo‘ladi. ■
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.
3.8.2. Asosiy mantiqiy amallarning chinlik to‘plamlari. Chinlik to‘plamlari mos ravishda va bo‘lgan va formulalar berilgan bo‘lsin.
Kon’yunksiyaning chinlik to‘plami. va formulalar kon’yunksiyasining chinlik to‘plami bo‘ladi. Haqiqatdan ham, kon’yunksiya ta’rifiga asosan, formula va formulalarning ikkalasi ham chin bo‘lgandagina chindir. Shuning uchun, formulaning chinlik to‘plami va to‘plamlarning umumiy elementlaridan tuzilgan kesishmasidan iborat bo‘ladi. Demak, mulohazalar mantiqidagi kon’yunksiya amaliga ( belgiga) to‘plamlar nazariyasidagi kesishma amali ( belgi) mos keladi (I bobning 2- paragrafidagi 2- shaklga qarang).