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
