5- misol. 4- misolda aniqlangan va formulalar diz’yunksiyasi uchun chinlik to‘plam bo‘ladi. ■
Implikasiyaning chinlik to‘plami. va formulalar implikasiyaning chinlik to‘plamini topamiz. formulaning chinlik to‘plami va formulaning chinlik to‘plami bo‘lgani uchun, teng kuchlilikka ko‘ra, formulaning chinlik to‘plami bo‘ladi. 1- shaklda tasvirlangan to‘plamning bo‘yalmagan qismi implikasiyaning chinlik to‘plamiga mos keladi.
6- misol. 4- misolda aniqlangan va formulalar tarkibida uchtadan , va elementar mulohazalar qatnashgani uchun, implikasiyasining chinlik to‘plamini topish maqsadida, dastlab
universal to‘plamni tuzamiz. formulaning chinlik to‘plami bo‘lgani uchun formulaning chinlik to‘plami
bo‘ladi. Endi to‘plam bilan formulaning chinlik to‘plami birlashmasini aniqlasak, , ya’ni formulaning chinlik to‘plami universal to‘plamdan iborat bo‘ladi. Bu yerdan xulosani hosil qilamiz. ■
Do'stlaringiz bilan baham: |