Kon'yunksiyaning chinlik to'plami

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 (ก betgi) mos keladi (I bobning 2paragrafidagi 2- shaklga qarang).
4- va formulalarning chinlik to plamlari, mos ravishda, va bo'lgani uchun (2- va 3- misollarga qarang) kon'yunksiyaning chinlik to'plami bo'ladi.
Diz'yunksiyaning chinlik to'plami. va formulalar diz'yunksiyasining chinlik to'plami bo'ladi. Haqiqatdan ham, diz'yunksiya ta'rifiga asosan, formula va formulalarning kamida bittasi chin bo'lgandagina chindir. Demak, to formula chindir. Shunday qilib, formulaning chinlik
l- shakl to'plami va to'plamlarning barcha elementlaridan, ularni takrorlamasdan, tuzilgan birlashmasidan iborat bo'ladi. Demak, mulohazalar mantiqidagi diz'yunksiya ( ) amaliga to plamlar nazariyasidagi birlashma (U) amali mos keladi (I bobning 2- paragrafidagi 1- shaklga qarang).
5- miso1. 4- misolda aniqlangan va formulalar diz'yunksiyasi uchun chinlik to plami bo 'ladi.
Implikatsiyaning chinlik to plami. va formulalar implikasiyaning chinlik to 'plamini topamiz. formulaning chinlik to va formulaning chinlik to plami bo'lgani uchun, teng kuchlilikka ko formulaning chinlik to'plami bo'ladi. 1- shaklda tasvirlangan to plamning bo'yalmagan qismi implikatsiyaning chinlik to'plamiga mos keladi.