|
4- teorema . Ixtiyoriy formulaning istalgan qismi o‘rniga shu qismi bilan
teng kuchli boshqa formulani qo‘yishdan hosil bo‘lgan yangi formula dastlabki
formula bilan teng kuchlidir.
3- misol .
𝑥 ∨ 𝑦
̅̅̅̅̅̅̅ → 𝑧 formula berilgan bo‘lsin. Bu formula tarkibidagi 𝑥 ∨ 𝑦
̅̅̅̅̅̅̅qismi
o‘rniga unga teng kuchli bo‘lgan 𝑥̅ ∧ 𝑦̅ formulani qo‘yish natijasida 𝑥̅ ∧ 𝑦̅ → 𝑧
formula hosil bo‘ladi. Bu formulaga (7), (8) va (10) teng kuchliliklarni qo‘llab,
berilgan formulaga teng kuchli
𝑥 ∨ 𝑦 ∨ 𝑧 formulani hosil qilish mumkin. Berilgan
va oxirgi formulalarning teng kuchliligini chinlik jadvali vositasida ham ko‘rsatish
mumkin. Bu ish o‘quvchiga havola qilinadi.
Do'stlaringiz bilan baham: | 
